From 1e60edf3f3073238fc6bcad483ef16f9525cda05 Mon Sep 17 00:00:00 2001 From: jacob Date: Sat, 19 Jun 2004 20:26:41 +0000 Subject: [PATCH] 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 --- 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 -- 2.11.0