diff options
| author | Jacob Nevins <jacobn@chiark.greenend.org.uk> | 2004-06-19 20:26:41 +0000 |
|---|---|---|
| committer | Jacob Nevins <jacobn@chiark.greenend.org.uk> | 2004-06-19 20:26:41 +0000 |
| commit | 5775579f4e0ec0ba8c2c0ce9a0ac40c33a9291da (patch) | |
| tree | bc8a919c1b1169c967da9d096d54fc720fcac1e0 | |
| parent | 97f6377cc2fd9312c9b45f70d1babbfdd17ab218 (diff) | |
| download | halibut-5775579f4e0ec0ba8c2c0ce9a0ac40c33a9291da.zip halibut-5775579f4e0ec0ba8c2c0ce9a0ac40c33a9291da.tar.gz halibut-5775579f4e0ec0ba8c2c0ce9a0ac40c33a9291da.tar.bz2 halibut-5775579f4e0ec0ba8c2c0ce9a0ac40c33a9291da.tar.xz | |
We seem to have ended up with duplicate documentation of --man. Gone.
[originally from svn r4303]
| -rw-r--r-- | doc/manpage.but | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/doc/manpage.but b/doc/manpage.but index 371b15d..94b42d6 100644 --- a/doc/manpage.but +++ b/doc/manpage.but @@ -99,14 +99,6 @@ output file will be given that name. Otherwise, the name of the output PDF file will be as specified in the input files, or \c{output.pdf} if none is specified at all. -\dt \cw{--man}[\cw{=}\e{filename}] - -\dd Makes Halibut generate an output file in Unix \cw{man} page -format. If the optional \e{filename} parameter is supplied, the -output \cw{man} page will be given that name. Otherwise, the name of -the output \cw{man} page will be as specified in the input files, or -\c{output.1} if none is specified at all. - \dt \cw{-C}\e{word}\cw{:}\e{word}[\cw{:}\e{word}...] \dd Adds a configuration directive to the input processed by |