Re: [PATCH] warn if pplatex not being used

[Bo Peng]

The easiest way is to try output to PDF (pdflatex).

Here, pdflatex produce perfect output without change tracking stuff,
no co-existence of old and changed texts.

Bo