Re: documentation wronly says --always-private-header is default?

[ccing the gob-list]

On Tue, Apr 13, 2004 at 10:27:01AM -0800, Britton Kerin wrote:
> The HTML man page says in the OPTIONS section that --always-private-header
> is the default, but I don't seem to get all my private headers unless I
> include it.

Yes, you are right, the documentation is wrong. I updated the docs in CVS
and on the web. --ondemand-private-header is the default behaviour actually.

George

-- 
George <jirka_at_5z.com>
   Originality is undetected plagiarism.
                       -- Dean W. R. Inge