diff --git a/.gitignore b/.gitignore index 0cdf2c4e6..b31a7132d 100644 --- a/.gitignore +++ b/.gitignore @@ -110,6 +110,10 @@ cscope.* /doc/spec/Makefile /doc/spec/Makefile.in +# /scripts +/scripts/maint/checkOptionDocs.pl +/scripts/maint/updateVersions.pl + # /src/ /src/Makefile /src/Makefile.in