diff options
Diffstat (limited to 'Master/texmf-dist/tex/platex/base/platex.ltx')
-rw-r--r-- | Master/texmf-dist/tex/platex/base/platex.ltx | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/Master/texmf-dist/tex/platex/base/platex.ltx b/Master/texmf-dist/tex/platex/base/platex.ltx index 37c4e0d7eb4..b36a4958e81 100644 --- a/Master/texmf-dist/tex/platex/base/platex.ltx +++ b/Master/texmf-dist/tex/platex/base/platex.ltx @@ -7,7 +7,7 @@ %% platex.dtx (with options: `plcore') %% %% Copyright (c) 2010 ASCII MEDIA WORKS -%% Copyright (c) 2016 Japanese TeX Development Community +%% Copyright (c) 2016-2018 Japanese TeX Development Community %% %% This file is part of the pLaTeX2e system (community edition). %% ------------------------------------------------------------- @@ -23,6 +23,11 @@ **************************} \makeatletter \input plcore.ltx +\InputIfFileExists{pldefs.cfg} + {\typeout{*************************************^^J% + * Local config file pldefs.cfg used^^J% + *************************************}}% + {\input{pldefs.ltx}} \the\everyjob \everyjob\expandafter{% \the\everyjob |