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@xxxxxxxxxxxx http://users.actcom.co.il/~oron Gratis is nice, Libre is an inalienable right. -- devel mailing list devel@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/devel
