From 4d98fde0bb2a741451d58a9e8a0f0ba9baf74766 Mon Sep 17 00:00:00 2001 From: Ben Harris Date: Sat, 9 Dec 2006 15:21:07 +0000 Subject: This somehow got missed in my "put PDF before PostScript" sweep. [originally from svn r6976] --- doc/running.but | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/doc/running.but b/doc/running.but index 2f5e886..884c33f 100644 --- a/doc/running.but +++ b/doc/running.but @@ -41,10 +41,10 @@ have configured Halibut to generate a single file, it will be called \c{output.info-2} etc., will be files suitable for use with GNU \c{info}. -\b \c{output.ps} will be a printable PostScript manual. - \b \c{output.pdf} will be a printable PDF manual. +\b \c{output.ps} will be a printable PostScript manual. + \H{running-options} \ii{Command-line options} Halibut supports command-line options in case you don't want to use @@ -123,18 +123,18 @@ additional files \c{output.info-1}, \c{output.info-2} and so on. } -\dt \i\cw{--ps}[\cw{=}\e{filename}] - -\dd Specifies that you want to generate PostScript output. You -can optionally specify a file name (e.g. \c{--ps=myfile.ps}), in -which case Halibut will change the name of the output file as well. - \dt \i\cw{--pdf}[\cw{=}\e{filename}] \dd Specifies that you want to generate PDF output. You can optionally specify a file name (e.g. \c{--pdf=myfile.pdf}), in which case Halibut will change the name of the output file as well. +\dt \i\cw{--ps}[\cw{=}\e{filename}] + +\dd Specifies that you want to generate PostScript output. You +can optionally specify a file name (e.g. \c{--ps=myfile.ps}), in +which case Halibut will change the name of the output file as well. + If you do not specify any of the above options, Halibut will simply produce \e{all} of its output formats. -- cgit v1.1