diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/running.but | 16 |
1 files 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. |