After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 629576 - manpage (man page) not found when package was installed after yelp was started
manpage (man page) not found when package was installed after yelp was started
Status: RESOLVED FIXED
Product: yelp
Classification: Applications
Component: Man Pages
unspecified
Other Linux
: Normal minor
: ---
Assigned To: Yelp maintainers
Yelp maintainers
Depends on:
Blocks:
 
 
Reported: 2010-09-13 20:41 UTC by Timo Baumann
Modified: 2011-01-13 00:53 UTC
See Also:
GNOME target: ---
GNOME version: ---


Description Timo Baumann 2010-09-13 20:41:27 UTC 
steps to reproduce:

(1): open yelp, type "man mp3info" (or oggenc, or whatever other program that is not installed). you will get an error message (saying that the URI is invalid, which is a different bug)
(2): do not close yelp. Install the package with your package-manager
(3): try "man mp3info" on the command line; works as expected
(4): retype your search request in yelp; you still get the error message

expected behaviour:

yelp should find man-pages regardless of when (relative to yelp's startup) they were installed. This could be solved by reloading the manpage database before giving up on a manpage search.
Comment 1 Rupert Swarbrick 2011-01-13 00:43:48 UTC 
This has been fixed (by a convenient coincidence!) in master.