diff options
| author | Simon Tatham <anakin@pobox.com> | 2004-04-14 18:14:41 +0000 |
|---|---|---|
| committer | Simon Tatham <anakin@pobox.com> | 2004-04-14 18:14:41 +0000 |
| commit | d7e234693f1eb9d0aafb251e1e4e7999ec8b3cfa (patch) | |
| tree | d43471f1fc6360cf5d0949f3653484483d78d4f7 /doc/running.but | |
| parent | 9b2bfc5e6619e459a1ce195dab703cf787a2b5e7 (diff) | |
| download | halibut-d7e234693f1eb9d0aafb251e1e4e7999ec8b3cfa.zip halibut-d7e234693f1eb9d0aafb251e1e4e7999ec8b3cfa.tar.gz halibut-d7e234693f1eb9d0aafb251e1e4e7999ec8b3cfa.tar.bz2 halibut-d7e234693f1eb9d0aafb251e1e4e7999ec8b3cfa.tar.xz | |
... oh, except that minimal documentation might be helpful.
[originally from svn r4075]
Diffstat (limited to 'doc/running.but')
| -rw-r--r-- | doc/running.but | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/doc/running.but b/doc/running.but index d8c0d4c..e0c0e78 100644 --- a/doc/running.but +++ b/doc/running.but @@ -39,6 +39,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. + \H{running-options} \ii{Command-line options} Halibut supports command-line options in case you don't want to use @@ -117,6 +121,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{--man=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{--man=myfile.pdf}), 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. |