diff options
Diffstat (limited to 'Master/tlpkg/tlpsrc/ptex.tlpsrc')
-rw-r--r-- | Master/tlpkg/tlpsrc/ptex.tlpsrc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Master/tlpkg/tlpsrc/ptex.tlpsrc b/Master/tlpkg/tlpsrc/ptex.tlpsrc index b495ae629d6..f6c0c037d82 100644 --- a/Master/tlpkg/tlpsrc/ptex.tlpsrc +++ b/Master/tlpkg/tlpsrc/ptex.tlpsrc @@ -18,8 +18,10 @@ binpattern f bin/${ARCH}/eptex binpattern f bin/${ARCH}/makejvf binpattern f bin/${ARCH}/mendex binpattern f bin/${ARCH}/pbibtex +binpattern f bin/${ARCH}/pdvitomp binpattern f bin/${ARCH}/pdvitype binpattern f bin/${ARCH}/platex +binpattern f bin/${ARCH}/pmpost binpattern f bin/${ARCH}/ppltotf binpattern f bin/${ARCH}/ptex binpattern f bin/${ARCH}/ptftopl |