Index: doc/papers/OOPSLA17/.gitignore
===================================================================
--- doc/papers/OOPSLA17/.gitignore	(revision 11b70289f1f0eeb9ac59bf49746042b66f1f5922)
+++ doc/papers/OOPSLA17/.gitignore	(revision b2b44d808ae1e94cb906efa6dd7aebd115204e3b)
@@ -1,4 +1,19 @@
 # generated by latex
-build/*
+*.aux
+*.bbl
+*.blg
+*.brf
+*.dvi
+*.idx
+*.ilg
+*.ind
+*.log
+*.out
 *.pdf
 *.ps
+*.toc
+*.lof
+*.lot
+*.synctex.gz
+comment.cut
+timing.tex