Merge branch 'master' into doc
[sod] / .gitignore
index 0bf9e54..b841037 100644 (file)
@@ -3,7 +3,9 @@
 *.out
 *.log
 *.dvi
+*.toc
 *.aux
+_region_.tex
 Makefile.in
 /COPYING
 /COPYING.LIB
@@ -11,4 +13,3 @@ Makefile.in
 /autom4te.cache/
 /config/
 /configure
-/doc/SYMBOLS