On Thu, Nov 14, 2002 at 12:57:25AM +0000, Colin Watson 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.
Perhaps "undocumented features" is not the best of phrases, someone might think it's for exploits and such :) -- 2. That which causes joy or happiness.