diff options
Diffstat (limited to 'Master/tlpkg/tlpsrc/ptex.tlpsrc')
-rw-r--r-- | Master/tlpkg/tlpsrc/ptex.tlpsrc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Master/tlpkg/tlpsrc/ptex.tlpsrc b/Master/tlpkg/tlpsrc/ptex.tlpsrc index 7af2e713d2c..baf6641b7de 100644 --- a/Master/tlpkg/tlpsrc/ptex.tlpsrc +++ b/Master/tlpkg/tlpsrc/ptex.tlpsrc @@ -8,6 +8,7 @@ execute AddFormat name=eptex engine=eptex options="*eptex.ini" \ execute AddFormat name=platex engine=eptex options="*platex.ini" \ patterns=language.ptx # +binpattern f bin/${ARCH}/eptex binpattern f bin/${ARCH}/makejvf binpattern f bin/${ARCH}/mendex binpattern f bin/${ARCH}/pbibtex |