Re: man pages and GNOME docs [was Re: gtt suggestions]




> Info pages (unfortunately) seem to require constant maintenance and
> hassle, and the GNU utilities don't automatically add them to the system
> repository.

Recent info distributions include the install-info program that takes
care of updating the dir file.

Agreed, the dir file is not a particularly good idea.

Miguel.



[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]