diff --git a/.gitignore b/.gitignore index 617b6be5d..74441f872 100644 --- a/.gitignore +++ b/.gitignore @@ -21,3 +21,5 @@ _build/ coverage .fvm +Makefile +!doc/_sphinx/Makefile