diff options
author | Karl Berry <karl@freefriends.org> | 2018-03-09 22:46:10 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2018-03-09 22:46:10 +0000 |
commit | 1363382ab40cad5afc0990b51f99f03141b6d4f3 (patch) | |
tree | e5e1f8190eeb888f8f7247f1e1516443ff3ca978 /Master/texmf-dist/tex/platex/base/platex.ltx | |
parent | 8f6a85906eed05ad9e0bf213a1232b24ab5f5d71 (diff) |
platex (9mar18)
git-svn-id: svn://tug.org/texlive/trunk@46902 c570f23f-e606-0410-a88d-b1316a301751
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 |