GNOME Bugzilla – Bug 683372
Port to new documentation infrastructure
Last modified: 2012-09-06 20:08:40 UTC
Created attachment 223475 [details] [review]
Use yelp-tools instead of gnome-doc-utils
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.