Re: Bug#39830: [AMENDMENT]: get rid of undocumented(7) symlinks
I have some reservations about this. Along with potential false hopes
during load time, the undocumented page provides pointers to places where
documentation may be found. It may be irritating to people in the know,
but since man is still the most widely known unix documentation interface,
new users may be helped by these pointers.
GNU GPL: "The Source will be with you... always."
On Wed, 13 Nov 2002, Branden Robinson wrote:
> On Wed, Nov 13, 2002 at 12:14:50AM -0600, Manoj Srivastava wrote:
> > There is a proposal under consideration for changing the
> > undocumented(7) man page. The current proposal is included below; it
> > is not yet the final form; and input of the general community is
> > solicited. I have brought this modification to the notice of the full
> > developer list since I think that this may impact a number of people,
> > including users, whose views should be taken into account.
> Well, no one appears to have really objected. Response on -devel has
> been neutral to positive.
> I say we go with it. As a newly appointed Policy editor, I have the
> power to enforce my will.
> /me pauses for a moment, watching the waves of horror break over
> debian-devel :)
> However, since Manoj took point on this issue I'll defer to his
> judgement as to when the comment period should end. Unless he wants to
> delegate the conclusion of this matter to one of the other editors
> (Julian, Josip, or me).
> (...ah, this post was worth it just for the wicked grin I had on my face
> while writing it. :) )
> G. Branden Robinson | I suspect Linus wrote that in a
> Debian GNU/Linux | complicated way only to be able to
> firstname.lastname@example.org | have that comment in there.
> http://people.debian.org/~branden/ | -- Lars Wirzenius