Miguel de Val Borro <[EMAIL PROTECTED]> wrote:

> Thanks for fixing this. I have looked at the python script that
> substitutes LaTeX commands. pdfTeX and MiKTeX are not mentioned in
> TeX-on-Debian.sgml and Debian-TeX-Policy.sgml so they could be removed
> from texify-tex-output unless this script will be used for other
> documents.

Right, they are currently unused. I've put them in prevision of future
use.

-- 
Florent


-- 
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]

Reply via email to