blob: 5d486ae53ef0ff6efd16b87658d786eec01dde79 (
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
|
%%
%% 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 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
\edef\platexBANNER{\the\everyjob\noexpand\typeout{}\relax}% save LaTeX banner
\typeout{**************************^^J%
*^^J%
* making pLaTeX format^^J%
*^^J%
**************************}
\makeatletter
\input plcore.ltx
\the\everyjob
\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'.
|
