Bug#39830: [AMENDMENT]: get rid of undocumented(7) symlinks
On Wed, Nov 13, 2002 at 12:22:58PM -0900, Britton wrote:
> 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.
I completely agree that the undocumented(7) page is useful to new users.
That's why I suggest that it should remain on the system, and that man
should provide a much more lightweight pointer to it when no manual page
is found. My development version of man currently says:
$ src/man wibble
No manual entry for wibble
See 'man 7 undocumented' for help with undocumented features.
Does this address your reservations?
Colin Watson [firstname.lastname@example.org]