diff options
Diffstat (limited to 'language/japanese/platex/pldocs.ins')
-rw-r--r-- | language/japanese/platex/pldocs.ins | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/language/japanese/platex/pldocs.ins b/language/japanese/platex/pldocs.ins deleted file mode 100644 index f5ad788c1f..0000000000 --- a/language/japanese/platex/pldocs.ins +++ /dev/null @@ -1,24 +0,0 @@ -\input docstrip -\keepsilent -\ifToplevel{\askonceonly} -\usedir{tex/platex/base} - -\Msg{*** Generating the pLaTeX files for making the documents ***} - -\preamble - -Copyright (c) 2010 ASCII MEDIA WORKS -Copyright (c) 2016-2018 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}} - \file{Xins.ins}{\from{platex.dtx}{Xins}} -} - -\endbatchfile |