summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/tex/platex/base/platex.ltx
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/tex/platex/base/platex.ltx')
-rw-r--r--Master/texmf-dist/tex/platex/base/platex.ltx17
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%