diff --git a/Makefile b/Makefile index dc152f7..3b563ed 100644 --- a/Makefile +++ b/Makefile @@ -1,3 +1,6 @@ -bboc.pdf: bboc.tex +bboc-good.pdf: bboc.tex + rm -f bboc.aux bboc.log bboc.out bboc.toc pdflatex $^ pdflatex $^ + cp bboc.pdf bboc-good.pdf +