diff options
Diffstat (limited to 'Master/texmf-dist/source/platex/base/pldocs.ins')
-rw-r--r-- | Master/texmf-dist/source/platex/base/pldocs.ins | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/Master/texmf-dist/source/platex/base/pldocs.ins b/Master/texmf-dist/source/platex/base/pldocs.ins new file mode 100644 index 00000000000..828c892296d --- /dev/null +++ b/Master/texmf-dist/source/platex/base/pldocs.ins @@ -0,0 +1,14 @@ +\input docstrip +\keepsilent +\ifToplevel{\askonceonly} +\usedir{ptex/platex/base} + +\Msg{*** Generating the pLaTeX files for making the documents ***} + +\generate{ + \file{jltxdoc.cls}{\from{jltxdoc.dtx}{class}} + \file{pldoc.tex}{\from{platex.dtx}{pldoc}} + \file{Xins.ins}{\from{platex.dtx}{Xins}} +} + +\endbatchfile |