summaryrefslogtreecommitdiff
path: root/Master/tlpkg/tlpsrc/ptex.tlpsrc
diff options
context:
space:
mode:
Diffstat (limited to 'Master/tlpkg/tlpsrc/ptex.tlpsrc')
-rw-r--r--Master/tlpkg/tlpsrc/ptex.tlpsrc16
1 files changed, 16 insertions, 0 deletions
diff --git a/Master/tlpkg/tlpsrc/ptex.tlpsrc b/Master/tlpkg/tlpsrc/ptex.tlpsrc
new file mode 100644
index 00000000000..529c4d711b3
--- /dev/null
+++ b/Master/tlpkg/tlpsrc/ptex.tlpsrc
@@ -0,0 +1,16 @@
+category TLCore
+depend tex
+depend latex
+#
+execute AddFormat name=ptex engine=ptex options="ptex.ini"
+execute AddFormat name=platex engine=ptex options="platex.ini" \
+ patterns=language.ptx
+#
+binpattern f bin/${ARCH}/makejvf
+binpattern f bin/${ARCH}/mendex
+binpattern f bin/${ARCH}/pbibtex
+binpattern f bin/${ARCH}/pdvitype
+binpattern f bin/${ARCH}/platex
+binpattern f bin/${ARCH}/ppltotf
+binpattern f bin/${ARCH}/ptex
+binpattern f bin/${ARCH}/ptftopl