diff options
| author | Jacob Nevins <jacobn@chiark.greenend.org.uk> | 2008-11-23 15:05:19 +0000 |
|---|---|---|
| committer | Jacob Nevins <jacobn@chiark.greenend.org.uk> | 2008-11-23 15:05:19 +0000 |
| commit | 8bfb2c177992712467fe7ce994fac518d713c3ad (patch) | |
| tree | e7f2c44038b8536136062b3f7f56278751c2c5c9 /doc/output.but | |
| parent | 490f12dd31bbfbf747483470dadeaa0aaecf29f4 (diff) | |
| download | halibut-8bfb2c177992712467fe7ce994fac518d713c3ad.zip halibut-8bfb2c177992712467fe7ce994fac518d713c3ad.tar.gz halibut-8bfb2c177992712467fe7ce994fac518d713c3ad.tar.bz2 halibut-8bfb2c177992712467fe7ce994fac518d713c3ad.tar.xz | |
Cut-and-paste error: reference to "man page" in Windows Help section.
[originally from svn r8320]
Diffstat (limited to 'doc/output.but')
| -rw-r--r-- | doc/output.but | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/output.but b/doc/output.but index 3d9783b..c9c287c 100644 --- a/doc/output.but +++ b/doc/output.but @@ -1047,7 +1047,7 @@ directives: \dt \I{\cw{\\cfg\{winhelp-filename\}}}\cw{\\cfg\{winhelp-filename\}\{}\e{filename}\cw{\}} -\dd Sets the \i{output file name} in which to store the man page. +\dd Sets the \i{output file name} in which to store the help file. This directive is implicitly generated if you provide a file name parameter after the command-line option \i\c{--winhelp} (see \k{running-options}). |