GNOME Bugzilla – Bug 681703
Port to new documentation infrastructure
Last modified: 2012-08-18 09:23:38 UTC
Created attachment 220949 [details] [review]
Use yelp-tools instead of gnome-doc-utils.
I have applied the patch to master after editing in slightly. A
report has been sent to the nemiver list at
As you can see, we post all of our patches to email@example.com,
so in the future it'd be great if you could just post your nemiver
patches there. If you prefer just sticking your patches to bugzilla,
then, fine. But please do not feel obliged to do that, even though
GNOME maintainers tend to prefer that. :-)
In any case, thank you for your useful patch, Javier!