diff options
Diffstat (limited to 'Master/texmf-dist/source/platex/base/pl209.ins')
| -rw-r--r-- | Master/texmf-dist/source/platex/base/pl209.ins | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/Master/texmf-dist/source/platex/base/pl209.ins b/Master/texmf-dist/source/platex/base/pl209.ins new file mode 100644 index 00000000000..f8bb15e6c90 --- /dev/null +++ b/Master/texmf-dist/source/platex/base/pl209.ins @@ -0,0 +1,22 @@ +\input docstrip +\keepsilent +\ifToplevel{\askonceonly} +\usedir{ptex/platex/base} + +\Msg{*** Generating the pLaTeX compatibility mode files ***} + +\generate{ + \file{pl209.def}{\from{pl209.dtx}{pl209}} + \file{oldpfont.sty}{\from{pl209.dtx}{oldfonts}} +} + +\generate{ + \file{jarticle.sty}{\from{pl209.dtx}{style,jarticle}} + \file{tarticle.sty}{\from{pl209.dtx}{style,tarticle}} + \file{jbook.sty}{\from{pl209.dtx}{style,jbook}} + \file{tbook.sty}{\from{pl209.dtx}{style,tbook}} + \file{jreport.sty}{\from{pl209.dtx}{style,jreport}} + \file{treport.sty}{\from{pl209.dtx}{style,treport}} +} + +\endbatchfile |