diff options
| -rw-r--r-- | Master/tlpkg/tlpsrc/ptex.tlpsrc | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Master/tlpkg/tlpsrc/ptex.tlpsrc b/Master/tlpkg/tlpsrc/ptex.tlpsrc index 22cf01fd75e..0a256f7e4b2 100644 --- a/Master/tlpkg/tlpsrc/ptex.tlpsrc +++ b/Master/tlpkg/tlpsrc/ptex.tlpsrc @@ -3,9 +3,12 @@ depend latex depend adobemapping # execute AddFormat name=ptex engine=ptex options="ptex.ini" -execute AddFormat name=platex engine=ptex options="*platex.ini" \ +execute AddFormat name=platex engine=ptex options="platex.ini" \ patterns=language.ptx # +# for 2011: +#execute AddFormat name=platex engine=eptex options="*platex.ini" +# binpattern f bin/${ARCH}/makejvf binpattern f bin/${ARCH}/mendex binpattern f bin/${ARCH}/pbibtex |