diff options
Diffstat (limited to 'macros/jptex/latex/platex/platexrelease.ins')
-rw-r--r-- | macros/jptex/latex/platex/platexrelease.ins | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/macros/jptex/latex/platex/platexrelease.ins b/macros/jptex/latex/platex/platexrelease.ins new file mode 100644 index 0000000000..b1ed64c87e --- /dev/null +++ b/macros/jptex/latex/platex/platexrelease.ins @@ -0,0 +1,27 @@ +\input docstrip +\keepsilent +\ifToplevel{\askonceonly} +\usedir{tex/platex/base} + +\Msg{*** Generating the pLaTeX files for supporting latexrelease ***} + +\preamble + +Copyright (c) 2016-2020 Japanese TeX Development Community + +This file is part of the pLaTeX2e system (community edition). +------------------------------------------------------------- + +\endpreamble + +\generate{ + \file{platexrelease.sty}{ + \from{plvers.dtx}{platexrelease} + \from{platexrelease.dtx}{platexrelease} + \from{plvers.dtx}{plhookrelease}%% specific! + \from{plexpl3.dtx}{platexrelease} + \from{plfonts.dtx}{platexrelease} + \from{plcore.dtx}{platexrelease}} +} + +\endbatchfile |