From 5775579f4e0ec0ba8c2c0ce9a0ac40c33a9291da Mon Sep 17 00:00:00 2001 From: Jacob Nevins Date: Sat, 19 Jun 2004 20:26:41 +0000 Subject: We seem to have ended up with duplicate documentation of --man. Gone. [originally from svn r4303] --- doc/manpage.but | 8 -------- 1 file changed, 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 -- cgit v1.1