Index: doc/user/.gitignore
===================================================================
--- doc/user/.gitignore	(revision 5ff188f3cd236584cfa7f3b12ea210fdd51bde8a)
+++ doc/user/.gitignore	(revision 1449d83d58f534d045be59bb9bcd5ecab96c5519)
@@ -1,4 +1,14 @@
 # generated by latex
-build/*
+*.aux
+*.bbl
+*.blg
+*.brf
+*.dvi
+*.idx
+*.ilg
+*.ind
+*.log
+*.out
 *.pdf
 *.ps
+*.toc