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