From: jacob <jacob@cda61777-01e9-0310-a592-d414129be87e>
Date: Sat, 19 Jun 2004 20:26:41 +0000 (+0000)
Subject: We seem to have ended up with duplicate documentation of --man. Gone.
X-Git-Url: https://git.distorted.org.uk/~mdw/sgt/halibut/commitdiff_plain/1e60edf3f3073238fc6bcad483ef16f9525cda05

We seem to have ended up with duplicate documentation of --man. Gone.


git-svn-id: svn://svn.tartarus.org/sgt/halibut@4303 cda61777-01e9-0310-a592-d414129be87e
---

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