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



---------------------------(end of broadcast)---------------------------
TIP 1: subscribe and unsubscribe commands go to [EMAIL PROTECTED]

Reply via email to