GNOME Bugzilla – Bug 683405
Last modified: 2014-06-12 12:58:54 UTC
Created attachment 223516 [details] [review]
Use yelp-tools instead of gnome-doc-utils
would be nice to get this merged
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.