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