diff options
Diffstat (limited to 'Master/texmf-dist/tex/platex/base/platex.ltx')
-rw-r--r-- | Master/texmf-dist/tex/platex/base/platex.ltx | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/texmf-dist/tex/platex/base/platex.ltx b/Master/texmf-dist/tex/platex/base/platex.ltx index e5ba0c13b4f..5d486ae53ef 100644 --- a/Master/texmf-dist/tex/platex/base/platex.ltx +++ b/Master/texmf-dist/tex/platex/base/platex.ltx @@ -16,7 +16,7 @@ \let\orgdump\dump \let\dump\relax \input latex.ltx -\edef\platexBANNER{\the\everyjob}% save LaTeX banner +\edef\platexBANNER{\the\everyjob\noexpand\typeout{}\relax}% save LaTeX banner \typeout{**************************^^J% *^^J% * making pLaTeX format^^J% |