diff options
| author | Jacob Nevins <jacobn@chiark.greenend.org.uk> | 2004-06-19 16:35:14 +0000 |
|---|---|---|
| committer | Jacob Nevins <jacobn@chiark.greenend.org.uk> | 2004-06-19 16:35:14 +0000 |
| commit | d269ade45b74ae43d18fc5d837d8fd6f142cc315 (patch) | |
| tree | 10b6232270d5ad57f2d15ab04498e5d72b258c59 /doc | |
| parent | c1f4e1d07505f85526971bf224d7c0c91461050e (diff) | |
| download | halibut-d269ade45b74ae43d18fc5d837d8fd6f142cc315.zip halibut-d269ade45b74ae43d18fc5d837d8fd6f142cc315.tar.gz halibut-d269ade45b74ae43d18fc5d837d8fd6f142cc315.tar.bz2 halibut-d269ade45b74ae43d18fc5d837d8fd6f142cc315.tar.xz | |
Minor correction to --ps and --pdf descriptions.
[originally from svn r4296]
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/running.but | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/running.but b/doc/running.but index b9fcdc2..37e36f3 100644 --- a/doc/running.but +++ b/doc/running.but @@ -124,13 +124,13 @@ 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 +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{--man=myfile.pdf}), in +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. If you do not specify any of the above options, Halibut will simply |