blob: 171db8345f39392b0b3f7fac400844ea2f2498bf (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
|
%%
%% 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'.
|
