Index: .gitignore
===================================================================
--- .gitignore	(revision a7528832a046957eb3c40dcea393f8024b8400a5)
+++ .gitignore	(revision b8387fc8ca24532e742d4fde5db500c521dbb36f)
@@ -28,17 +28,2 @@
 # generated by bison and lex from cfa.yy and lex.ll, respectively
 src/Parser/parser.output
-
-# generated by latex
-*.aux
-*.bbl
-*.blg
-*.brf
-*.dvi
-*.idx
-*.ilg
-*.ind
-*.log
-*.out
-*.pdf
-*.ps
-*.toc