Bug#39830: [AMENDMENT]: get rid of undocumented(7) symlinks

[Colin Watson <cjwatson@debian.org>]

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?

Cheers,

-- 
Colin Watson                                  [cjwatson@flatline.org.uk]