Index: doc/papers/OOPSLA17/.gitignore
===================================================================
--- doc/papers/OOPSLA17/.gitignore	(revision 5ff188f3cd236584cfa7f3b12ea210fdd51bde8a)
+++ doc/papers/OOPSLA17/.gitignore	(revision 1449d83d58f534d045be59bb9bcd5ecab96c5519)
@@ -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