diff options
Diffstat (limited to 'Master/tlsrc/bin-platex.tlsrc')
-rw-r--r-- | Master/tlsrc/bin-platex.tlsrc | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/Master/tlsrc/bin-platex.tlsrc b/Master/tlsrc/bin-platex.tlsrc deleted file mode 100644 index f915985a910..00000000000 --- a/Master/tlsrc/bin-platex.tlsrc +++ /dev/null @@ -1,13 +0,0 @@ -name bin-platex -category TLCore -shortdesc Typeset Polish documents with LaTeX and Polish fonts. -longdesc Tools to typeset documents in Polish using LaTeX2e with Polish - fonts (so-called PL fonts), or EC fonts, and CM fonts. -depend TLCore/bin-latex -depend TLCore/bin-pdftex -binpatterns f bin/${ARCH}/pdfplatex -binpatterns f bin/${ARCH}/platex -binpatterns f bin/win32/pdfplatex.exe -binpatterns f bin/win32/platex.exe -runpatterns f texmf/fmtutil/format.platex.cnf -execute BuildFormat platex |