add newly generated files to .gitignore

diff --git a/.gitignore b/.gitignore
index 0cdf2c4e61bd9d3b6f65f32918a8a1ca092a6320..b31a7132d4ecced0af2bf1105a2e9d2f5b601057 100644 (file)
--- 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