diff options
author | Karl Berry <karl@freefriends.org> | 2016-05-09 23:46:07 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2016-05-09 23:46:07 +0000 |
commit | a0fe732c51650716b95c145d4c68cbe7138f83d4 (patch) | |
tree | ec1711f4aa1db3e9f60ee468741d773f7ec5eb96 /Master/texmf-dist/source/platex/base/pldocs.ins | |
parent | c143a4632d967b1831be9a77ea54f6ceac5da3ec (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.ins | 14 |
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}} |