etc.
}
-\dt \cw{--ps}[\cw{=}\e{filename}]
-
-\dd Makes Halibut generate an output file in PostScript format. If
-the optional \e{filename} parameter is supplied, the PostScript
-output file will be given that name. Otherwise, the name of
-the output PostScript file will be as specified in the input files,
-or \c{output.ps} if none is specified at all.
-
\dt \cw{--pdf}[\cw{=}\e{filename}]
\dd Makes Halibut generate an output file in PDF format. If
the output PDF file will be as specified in the input files,
or \c{output.pdf} if none is specified at all.
+\dt \cw{--ps}[\cw{=}\e{filename}]
+
+\dd Makes Halibut generate an output file in PostScript format. If
+the optional \e{filename} parameter is supplied, the PostScript
+output file will be given that name. Otherwise, the name of
+the output PostScript file will be as specified in the input files,
+or \c{output.ps} 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
These output formats (currently PostScript and PDF) generate printable
manuals. As such, they share a number of configuration directives.
-\S{output-ps} \i{PostScript}
-
-This output format generates a printable manual in PostScript format.
-
-There is one configuration option specific to PostScript:
-
-\dt \I{\cw{\\cfg\{ps-filename\}}}\cw{\\cfg\{ps-filename\}\{}\e{filename}\cw{\}}
-
-\dd Sets the \i{output file name} in which to store the PostScript
-file. This directive is implicitly generated if you provide a file
-name parameter after the command-line option \i\c{--ps} (see
-\k{running-options}).
-
-The \i{default settings} for the PostScript output format are:
-
-\c \cfg{ps-filename}{output.ps}
-
\S{output-pdf} \i{PDF}
-This output format generates a printable manual in PDF format. This
-should look exactly identical to the PostScript output (see
-\k{output-ps}), but also uses some PDF interactive features to
+This output format generates a printable manual in PDF format. In
+addition, it uses some PDF interactive features to
provide an outline of all the document's sections and clickable
cross-references between sections.
\c \cfg{pdf-filename}{output.pdf}
+\S{output-ps} \i{PostScript}
+
+This output format generates a printable manual in PostScript format.
+This should look exactly identical to the PDF output (see
+\k{output-ps}), and uses \i\c{pdfmark} to arrange that if converted
+to PDF it will contain the same interactive features.
+
+There is one configuration option specific to PostScript:
+
+\dt \I{\cw{\\cfg\{ps-filename\}}}\cw{\\cfg\{ps-filename\}\{}\e{filename}\cw{\}}
+
+\dd Sets the \i{output file name} in which to store the PostScript
+file. This directive is implicitly generated if you provide a file
+name parameter after the command-line option \i\c{--ps} (see
+\k{running-options}).
+
+The \i{default settings} for the PostScript output format are:
+
+\c \cfg{ps-filename}{output.ps}
+
\S{output-paper-dimensions} Configuring layout and \i{measurements}
All measurements are in PostScript \i{points} (72 points to the inch).