On Tue, 2003-10-28 at 12:57, Bruce Momjian wrote:
> OK, but it is going to look kind of big up there and isn't of general
> usefulness. Still want it?
Well, as a matter of principle, I think it belongs there: if it's a
command-line option, it should be documented in the section that claims
to document the syntax of the command-line options. That said, I'm not
militant about it...
-Neil