summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/source/platex/base/pldocs.ins
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2016-05-09 23:46:07 +0000
committerKarl Berry <karl@freefriends.org>2016-05-09 23:46:07 +0000
commita0fe732c51650716b95c145d4c68cbe7138f83d4 (patch)
treeec1711f4aa1db3e9f60ee468741d773f7ec5eb96 /Master/texmf-dist/source/platex/base/pldocs.ins
parentc143a4632d967b1831be9a77ea54f6ceac5da3ec (diff)
platex (9may16)
git-svn-id: svn://tug.org/texlive/trunk@40992 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/source/platex/base/pldocs.ins')
-rw-r--r--Master/texmf-dist/source/platex/base/pldocs.ins14
1 files changed, 12 insertions, 2 deletions
diff --git a/Master/texmf-dist/source/platex/base/pldocs.ins b/Master/texmf-dist/source/platex/base/pldocs.ins
index b7e0f8f187c..d1151a76314 100644
--- a/Master/texmf-dist/source/platex/base/pldocs.ins
+++ b/Master/texmf-dist/source/platex/base/pldocs.ins
@@ -1,10 +1,20 @@
-\input docstrip
+\input docstrip
\keepsilent
\ifToplevel{\askonceonly}
-\usedir{ptex/platex/base}
+\usedir{tex/platex/base}
\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{jltxdoc.cls}{\from{jltxdoc.dtx}{class}}
\file{pldoc.tex}{\from{platex.dtx}{pldoc}}