chiark / gitweb /
lib/keyword.3: Fix some minor formatting errors.
[sod] / .gitignore
index 0bf9e54251ff078ba9b8d45fd45366ed1fc33093..0a2a9ed6cbaf5a33ef6141d11ee25f73a28c3570 100644 (file)
@@ -3,7 +3,11 @@
 *.out
 *.log
 *.dvi
+*.toc
 *.aux
+*.ind
+*.idx
+_region_.tex
 Makefile.in
 /COPYING
 /COPYING.LIB
@@ -11,4 +15,3 @@ Makefile.in
 /autom4te.cache/
 /config/
 /configure
-/doc/SYMBOLS