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 704653 - Use yelp-tools instead of gnome-doc-utils
Use yelp-tools instead of gnome-doc-utils
Status: RESOLVED FIXED
Product: sound-juicer
Classification: Applications
Component: docs
unspecified
Other Linux
: Normal normal
: ---
Assigned To: Sound Juicer Maintainers
Sound Juicer Maintainers
Depends on:
Blocks: 681609
 
 
Reported: 2013-07-21 22:02 UTC by Jeremy Bicha
Modified: 2014-02-14 12:33 UTC
See Also:
GNOME target: ---
GNOME version: ---


Attachments
Use yelp-tools instead of gnome-doc-utils (46.76 KB, patch)
2013-07-21 22:02 UTC, Jeremy Bicha
committed Details | Review

Comment 1 Jeremy Bicha 2013-07-21 22:02:33 UTC
Created attachment 249757 [details] [review]
Use yelp-tools instead of gnome-doc-utils
Comment 2 Christophe Fergeau 2013-10-23 12:58:53 UTC
Review of attachment 249757 [details] [review]:

Looks good.