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 704590 - Build with yelp-tools instead of gnome-doc-utils
Build with yelp-tools instead of gnome-doc-utils
Status: RESOLVED FIXED
Product: gnome-media
Classification: Deprecated
Component: general
unspecified
Other All
: Normal normal
: ---
Assigned To: gnome media maintainers
gnome media maintainers
Depends on:
Blocks:
 
 
Reported: 2013-07-20 03:56 UTC by Jeremy Bicha
Modified: 2013-07-20 14:30 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
Build with yelp-tools instead of gnome-doc-utils (125.97 KB, patch)
2013-07-20 03:56 UTC, Jeremy Bicha 		committed Details | Review

Comment 1 Jeremy Bicha 2013-07-20 03:56:41 UTC 
Created attachment 249673 [details] [review]
Build with yelp-tools instead of gnome-doc-utils
Comment 2 Marc-Andre Lureau 2013-07-20 08:50:50 UTC 
Review of attachment 249673 [details] [review]:

ack
Comment 3 Jeremy Bicha 2013-07-20 14:30:40 UTC 
Attachment 249673 [details] pushed as 1574fb3 - Build with yelp-tools instead of gnome-doc-utils