diff options
Diffstat (limited to 'Master/texmf-dist/tex/platex/base/platex.ltx')
-rw-r--r-- | Master/texmf-dist/tex/platex/base/platex.ltx | 17 |
1 files changed, 5 insertions, 12 deletions
diff --git a/Master/texmf-dist/tex/platex/base/platex.ltx b/Master/texmf-dist/tex/platex/base/platex.ltx index 549e732e797..719ca548ba2 100644 --- a/Master/texmf-dist/tex/platex/base/platex.ltx +++ b/Master/texmf-dist/tex/platex/base/platex.ltx @@ -6,20 +6,12 @@ %% %% platex.dtx (with options: `plcore') %% -%% IMPORTANT NOTICE: +%% Copyright (c) 2010 ASCII MEDIA WORKS +%% Copyright (c) 2016 Japanese TeX Development Community %% -%% For the copyright see the source file. +%% This file is part of the pLaTeX2e system (community edition). +%% ------------------------------------------------------------- %% -%% Any modified versions of this file must be renamed -%% with new filenames distinct from platex.ltx. -%% -%% For distribution of the original source see the terms -%% for copying and modification in the file platex.dtx. -%% -%% This generated file may be distributed as long as the -%% original source files, as listed above, are part of the -%% same distribution. (The sources need not necessarily be -%% in the same archive or directory.) %% File: platex.dtx %% \CharacterTable %% {Upper-case \A\B\C\D\E\F\G\H\I\J\K\L\M\N\O\P\Q\R\S\T\U\V\W\X\Y\Z @@ -40,6 +32,7 @@ \let\orgdump\dump \let\dump\relax \input latex.ltx +\edef\platexBANNER{\the\everyjob}% save LaTeX banner \typeout{**************************^^J% *^^J% * making pLaTeX format^^J% |