diff options
-rw-r--r-- | Build/source/texk/web2c/tex.ch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/tex.ch b/Build/source/texk/web2c/tex.ch index ec383698fbd..b66caadf01e 100644 --- a/Build/source/texk/web2c/tex.ch +++ b/Build/source/texk/web2c/tex.ch @@ -4427,7 +4427,7 @@ var j:small_number; {write stream number} @* \[54/web2c] System-dependent changes for Web2c. Here are extra variables for Web2c. (This numbering of the system-dependent section allows easy integration of Web2c and e-\TeX, etc.) -@^<system dependencies@> +@^system dependencies@> @<Glob...@>= @!edit_name_start: pool_pointer; {where the filename to switch to starts} |