Trond Danielsen wrote: > Last time I checked both man and info pages are available though the > gnome yelp browser. That already provide a convenient and searchable > interface for both experienced and inexperienced users. Check again. :) This seems to be broken on F10 at least, and possibly F9 as well -- it has been a while since I checked on F9. Matěj filed this bug earlier today: https://bugzilla.redhat.com/show_bug.cgi?id=473257 -- Todd OpenPGP -> KeyID: 0xBEAF0CE3 | URL: www.pobox.com/~tmz/pgp ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Happiness, n.: An agreeable sensation arising from contemplating the misery of another. -- Ambrose Bierce, "The Devil's Dictionary"
Attachment:
pgpsP2DR3EuK8.pgp
Description: PGP signature
-- fedora-devel-list mailing list fedora-devel-list@xxxxxxxxxx https://www.redhat.com/mailman/listinfo/fedora-devel-list
