diff options
Diffstat (limited to 'Master/tlpkg/tlpsrc/bin-xmltex.tlpsrc')
-rw-r--r-- | Master/tlpkg/tlpsrc/bin-xmltex.tlpsrc | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/Master/tlpkg/tlpsrc/bin-xmltex.tlpsrc b/Master/tlpkg/tlpsrc/bin-xmltex.tlpsrc deleted file mode 100644 index 75eeec5fc7b..00000000000 --- a/Master/tlpkg/tlpsrc/bin-xmltex.tlpsrc +++ /dev/null @@ -1,8 +0,0 @@ -name bin-xmltex -category TLCore -depend pdftex -depend bin-tex -execute AddFormat name=xmltex engine=pdftex patterns=language.dat options="&latex xmltex.ini" -execute AddFormat name=pdfxmltex engine=pdftex patterns=language.dat options="&pdflatex pdfxmltex.ini" -binpattern f bin/${ARCH}/pdfxmltex -binpattern f bin/${ARCH}/xmltex |