doc/check-docs: Add a program to check that the right things are documented.

[sod] / .gitignore

diff --git a/.gitignore b/.gitignore
index b841037..3c673e9 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -5,6 +5,11 @@
 *.dvi
 *.toc
 *.aux
+*.ind
+*.idx
+*.ilg
+*.bbl
+*.blg
 _region_.tex
 Makefile.in
 /COPYING