GNOME Bugzilla – Bug 683372
Port to new documentation infrastructure
Last modified: 2012-09-06 20:08:40 UTC
Created attachment 223475 [details] [review] patch Use yelp-tools instead of gnome-doc-utils See https://live.gnome.org/GnomeGoals/NewDocumentationInfrastructure
This problem has been fixed in the development version. The fix will be available in the next major software release. Thank you for your bug report.