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