diff options
Diffstat (limited to 'Build/source')
-rw-r--r-- | Build/source/texk/web2c/cwebdir/cwebman.tex | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/cwebdir/cwebman.tex b/Build/source/texk/web2c/cwebdir/cwebman.tex index f24fda451ed..abf82a3bc88 100644 --- a/Build/source/texk/web2c/cwebdir/cwebman.tex +++ b/Build/source/texk/web2c/cwebdir/cwebman.tex @@ -1166,6 +1166,11 @@ saying `\.{pdftex}~\.{cob}'. And a third way to create PDF output from \.{CWEB} input is to say `\.{xetex}~\.{cob}'. +Similar output for ``smart'' devices can be created with Martin Ruckert's +Hi\TeX\ and its dynamic \.{HINT} format; just say `\.{hitex}~\.{cob}'. +\.{HINT} files can be viewed with the \.{hintview} program, which is available +for {\mc GNU}/Linux, {\mc MS}~Windows, and Android. + A more elaborate system called \.{CTWILL}, which extends the usual cross references of \.{CWEAVE} by preparing links from the uses of identifiers to their definitions, is also available---provided that you are willing |