Add a continuous make option
Ignore diff.tex
A round of minor edits