summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/cwebdir/cwebman-w2c.ch
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/web2c/cwebdir/cwebman-w2c.ch')
-rw-r--r--Build/source/texk/web2c/cwebdir/cwebman-w2c.ch8
1 files changed, 8 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/cwebdir/cwebman-w2c.ch b/Build/source/texk/web2c/cwebdir/cwebman-w2c.ch
index 309add06700..7d16bed97ea 100644
--- a/Build/source/texk/web2c/cwebdir/cwebman-w2c.ch
+++ b/Build/source/texk/web2c/cwebdir/cwebman-w2c.ch
@@ -210,6 +210,14 @@ Sometimes things don't work as smoothly, and you get a bunch of
@z
@x
+the `\.{@\#}' will put extra space after `$\langle\,$Other locals$\,\rangle$'.
+@y
+the `\.{@\#}' will put extra space after `$\langle\,$Other locals$\,\rangle$'.%
+\cwebfootnote{This extended version of \.{CWEB} acknowledges the \.{-o} option
+to suppress the extra space globally.}
+@z
+
+@x
\section Hypertext and hyperdocumentation.
@y
\vfill\eject