summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/source/platex/base/plfmt.ins
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/source/platex/base/plfmt.ins')
-rw-r--r--Master/texmf-dist/source/platex/base/plfmt.ins14
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}