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