diff options
Diffstat (limited to 'Build/source/texk/web2c/pdftexdir/change-files.txt')
-rw-r--r-- | Build/source/texk/web2c/pdftexdir/change-files.txt | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/Build/source/texk/web2c/pdftexdir/change-files.txt b/Build/source/texk/web2c/pdftexdir/change-files.txt index c6a3387f41d..a435369d052 100644 --- a/Build/source/texk/web2c/pdftexdir/change-files.txt +++ b/Build/source/texk/web2c/pdftexdir/change-files.txt @@ -1,14 +1,20 @@ +$Id$ +Public domain. How change files are applied for pdftex/pdfetex? ============================= pdftex ============================= -2) pdftex.ch is generated from +2) pdftex.ch is essentially generated from (see pdftexdir/am/pdftex.am) ./tie -c pdftex.ch pdftex.web \ $(srcdir)/pdftexdir/tex.ch0 \ $(srcdir)/tex.ch \ $(srcdir)/pdftexdir/tex.ch1 \ $(srcdir)/pdftexdir/tex.pch +There are more feature-specific change files, for synctex, including the +pool in the binary, etc., many of which are shared between engines. They +don't alter the basic process described here. + Input: pdftex.web: pdftex without system-dependent changes @@ -31,5 +37,5 @@ Input: change the tex banner to pdftex banner (reverse tex.ch0) Output: - pdftex.ch (not pdftexdir/pdftex.ch): + pdftex.ch (in the build dir, not pdftexdir/pdftex.ch): additional & system-dependent changes |