[Bug 86435] Re: man index does not display man pages

[Sebastien Bacher]

Forwarded upstream to http://bugzilla.gnome.org/show_bug.cgi?id=409971

** Bug watch added: GNOME Bug Tracker #409971
   http://bugzilla.gnome.org/show_bug.cgi?id=409971

** Also affects: yelp (upstream) via
   http://bugzilla.gnome.org/show_bug.cgi?id=409971
   Importance: Unknown
       Status: Unknown

-- 
man index does not display man pages
https://launchpad.net/bugs/86435