summaryrefslogtreecommitdiff
path: root/Master/tlpkg/tlsrc/bin-platex.tlsrc
diff options
context:
space:
mode:
Diffstat (limited to 'Master/tlpkg/tlsrc/bin-platex.tlsrc')
-rw-r--r--Master/tlpkg/tlsrc/bin-platex.tlsrc13
1 files changed, 0 insertions, 13 deletions
diff --git a/Master/tlpkg/tlsrc/bin-platex.tlsrc b/Master/tlpkg/tlsrc/bin-platex.tlsrc
deleted file mode 100644
index f915985a910..00000000000
--- a/Master/tlpkg/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