diff options
author | Karl Berry <karl@freefriends.org> | 2010-05-18 18:19:00 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2010-05-18 18:19:00 +0000 |
commit | a9eff7800c1787b0af5f140437003eea9e53cbb3 (patch) | |
tree | 6a6bee46035290fe65d79ff8cae90279eca08759 /Master/texmf-dist/source/platex/base/plfmt.ins | |
parent | 8c3ddaae131e42eb2318cfe675eaff5a184892e1 (diff) |
towards 2010 pretest: enabling restricted write18, PDF 1.5 by default, ptex support files, other new programs, with i386-linux binaries
git-svn-id: svn://tug.org/texlive/trunk@18336 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/source/platex/base/plfmt.ins')
-rw-r--r-- | Master/texmf-dist/source/platex/base/plfmt.ins | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/Master/texmf-dist/source/platex/base/plfmt.ins b/Master/texmf-dist/source/platex/base/plfmt.ins new file mode 100644 index 00000000000..f38a6609e0d --- /dev/null +++ b/Master/texmf-dist/source/platex/base/plfmt.ins @@ -0,0 +1,24 @@ +\input docstrip +\keepsilent +\usedir{ptex/platex/base} +\ifToplevel{\askonceonly} + +\Msg{*** Generating the pLaTeX files for making the documents ***} + +\generate{ + \file{platex.ltx}{\from{platex.dtx}{plcore}} + \file{plcore.ltx}{\from{plvers.dtx}{plcore} + \from{plfonts.dtx}{plcore} + \from{plcore.dtx}{plcore} + \from{plvers.dtx}{plfinal}} + \file{kinsoku.tex}{\from{kinsoku.dtx}{plcore}} + \file{pldefs.ltx}{\from{plfonts.dtx}{pldefs,xpt}} + \file{jy1mc.fd}{\from{plfonts.dtx}{JY1mc}} + \file{jy1gt.fd}{\from{plfonts.dtx}{JY1gt}} + \file{jt1mc.fd}{\from{plfonts.dtx}{JT1mc}} + \file{jt1gt.fd}{\from{plfonts.dtx}{JT1gt}} + \file{plext.sty}{\from{plext.dtx}{package}} + \file{ptrace.sty}{\from{plfonts.dtx}{trace}} +} + +\endbatchfile |