%%
%% This is file `platex.ltx',
%% generated with the docstrip utility.
%%
%% The original source files were:
%%
%% platex.dtx  (with options: `plcore')
%% 
%% Copyright (c) 2010 ASCII MEDIA WORKS
%% Copyright (c) 2016-2018 Japanese TeX Development Community
%% 
%% This file is part of the pLaTeX2e system (community edition).
%% -------------------------------------------------------------
%% 
%% File: platex.dtx
\let\orgdump\dump
\let\dump\relax
\input latex.ltx
\typeout{**************************^^J%
         *^^J%
         * making pLaTeX format^^J%
         *^^J%
         **************************}
\makeatletter
\input plcore.ltx
\InputIfFileExists{pldefs.cfg}
           {\typeout{*************************************^^J%
                     * Local config file pldefs.cfg used^^J%
                     *************************************}}%
           {\input{pldefs.ltx}}
\everyjob\expandafter{%
  \the\everyjob
  \IfFileExists{platex.cfg}{%
    \typeout{*************************^^J%
             * Loading platex.cfg.^^J%
             *************************}%
    \input{platex.cfg}}{}%
}
\let\dump\orgdump
\let\orgdump\@undefined
\makeatother
\dump
\endinput
%%
%% End of file `platex.ltx'.
