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]