summaryrefslogtreecommitdiff
path: root/Master/tlpkg/tlpsrc/platex.tlpsrc
diff options
context:
space:
mode:
Diffstat (limited to 'Master/tlpkg/tlpsrc/platex.tlpsrc')
-rw-r--r--Master/tlpkg/tlpsrc/platex.tlpsrc7
1 files changed, 7 insertions, 0 deletions
diff --git a/Master/tlpkg/tlpsrc/platex.tlpsrc b/Master/tlpkg/tlpsrc/platex.tlpsrc
index af5cc80d3a7..0fc3fa0432a 100644
--- a/Master/tlpkg/tlpsrc/platex.tlpsrc
+++ b/Master/tlpkg/tlpsrc/platex.tlpsrc
@@ -2,4 +2,11 @@ tlpsetvar fmtcomm cm,hyphen-base,ptex
execute AddFormat name=platex engine=eptex options="*platex.ini" \
patterns=language.dat \
fmttriggers=${fmtcomm},babel,latex,latex-fonts
+
binpattern f bin/${ARCH}/platex
+
+# not any of the other package subdirectories.
+docpattern d texmf-dist/doc/platex/base
+srcpattern d texmf-dist/source/platex/base
+runpattern d texmf-dist/tex/platex/base
+runpattern +d texmf-dist/tex/platex/config