diff options
Diffstat (limited to 'Master/tlpkg/tlpsrc/platex.tlpsrc')
-rw-r--r-- | Master/tlpkg/tlpsrc/platex.tlpsrc | 7 |
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 |