diff options
author | Karl Berry <karl@freefriends.org> | 2016-05-09 23:46:07 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2016-05-09 23:46:07 +0000 |
commit | a0fe732c51650716b95c145d4c68cbe7138f83d4 (patch) | |
tree | ec1711f4aa1db3e9f60ee468741d773f7ec5eb96 /Master/tlpkg/tlpsrc/platex.tlpsrc | |
parent | c143a4632d967b1831be9a77ea54f6ceac5da3ec (diff) |
platex (9may16)
git-svn-id: svn://tug.org/texlive/trunk@40992 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/tlpsrc/platex.tlpsrc')
-rw-r--r-- | Master/tlpkg/tlpsrc/platex.tlpsrc | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Master/tlpkg/tlpsrc/platex.tlpsrc b/Master/tlpkg/tlpsrc/platex.tlpsrc new file mode 100644 index 00000000000..af5cc80d3a7 --- /dev/null +++ b/Master/tlpkg/tlpsrc/platex.tlpsrc @@ -0,0 +1,5 @@ +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 |