summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/pdftexdir/change-files.txt
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/web2c/pdftexdir/change-files.txt')
-rw-r--r--Build/source/texk/web2c/pdftexdir/change-files.txt10
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