fix the makefile so it doesn't run pdflatex so many times if latexmk is present but encounters an error
rewriting formal.tex ...
Merge branch 'master' of github.com:HoTT/book