diff options
| -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 |