diff options
| author | Andreas Scherer <andreas_tex@freenet.de> | 2020-05-04 13:17:56 +0000 |
|---|---|---|
| committer | Andreas Scherer <andreas_tex@freenet.de> | 2020-05-04 13:17:56 +0000 |
| commit | 5db712e13acf7b4c8b472ee19929c83f63d007c7 (patch) | |
| tree | 5c0c10980c4582fe4271522a7bcfed22834b7fd3 /Build | |
| parent | 7e856ed3c574392e629b309f939f4306f45255a3 (diff) | |
Fix index entry mishap.
git-svn-id: svn://tug.org/texlive/trunk@55000 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build')
| -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} |