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]