Merge branch 'master' into doc

[sod] / .gitignore

diff --git a/.gitignore b/.gitignore
index 1abd9a1..8ae86b1 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -3,7 +3,9 @@
 *.out
 *.log
 *.dvi
+*.toc
 *.aux
+_region_.tex
 Makefile.in
 /COPYING
 /COPYING.LIB
@@ -11,3 +13,4 @@ Makefile.in
 /autom4te.cache/
 /config/
 /configure
+/doc/SYMBOLS