diff options
Diffstat (limited to 'Build/source/texk/web2c/cwebdir/cwebman-w2c.ch')
-rw-r--r-- | Build/source/texk/web2c/cwebdir/cwebman-w2c.ch | 8 |
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 |