summaryrefslogtreecommitdiff
path: root/Build
diff options
context:
space:
mode:
authorAndreas Scherer <andreas_tex@freenet.de>2020-05-04 13:17:56 +0000
committerAndreas Scherer <andreas_tex@freenet.de>2020-05-04 13:17:56 +0000
commit5db712e13acf7b4c8b472ee19929c83f63d007c7 (patch)
tree5c0c10980c4582fe4271522a7bcfed22834b7fd3 /Build
parent7e856ed3c574392e629b309f939f4306f45255a3 (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.ch2
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}