diff options
Diffstat (limited to 'Master/texmf-dist/source/platex/base/plfmt.ins')
-rw-r--r-- | Master/texmf-dist/source/platex/base/plfmt.ins | 14 |
1 files changed, 12 insertions, 2 deletions
diff --git a/Master/texmf-dist/source/platex/base/plfmt.ins b/Master/texmf-dist/source/platex/base/plfmt.ins index a4e680a395b..526fb0b4e30 100644 --- a/Master/texmf-dist/source/platex/base/plfmt.ins +++ b/Master/texmf-dist/source/platex/base/plfmt.ins @@ -1,10 +1,20 @@ -\input docstrip +\input docstrip \keepsilent -\usedir{ptex/platex/base} +\usedir{tex/platex/base} \ifToplevel{\askonceonly} \Msg{*** Generating the pLaTeX files for making the documents ***} +\preamble + +Copyright (c) 2010 ASCII MEDIA WORKS +Copyright (c) 2016 Japanese TeX Development Community + +This file is part of the pLaTeX2e system (community edition). +------------------------------------------------------------- + +\endpreamble + \generate{ \file{platex.ltx}{\from{platex.dtx}{plcore}} \file{plcore.ltx}{\from{plvers.dtx}{plcore} |