On Wednesday 29 May 2013 19:36:31 Tom Tromey wrote:
Paul> "convert all info pages to proper man pages and
obsolete: the info
Paul> package."
Man pages aren't really a replacement for info. Replacing info with
HTML would be more reasonable,...
There's no need to convert input format in order to have your preferred presentation.
For example, in konqueror you can simply type the "info:/" URI and browse the
info
documentation with proper fonts, highlighting and links.
(IIRC, the GNOME help browser had similar functionality)
--
Oron Peled Voice: +972-4-8228492
oron(a)actcom.co.il
http://users.actcom.co.il/~oron
Gratis is nice, Libre is an inalienable right.