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 [EMAIL PROTECTED]
