GNOME Bugzilla – Bug 681703
Port to new documentation infrastructure
Last modified: 2012-08-18 09:23:38 UTC
Created attachment 220949 [details] [review] Use-new-documentation-infrastructure Use yelp-tools instead of gnome-doc-utils. https://live.gnome.org/GnomeGoals/NewDocumentationInfrastructure
I have applied the patch to master after editing in slightly. A report has been sent to the nemiver list at https://mail.gnome.org/archives/nemiver-list/2012-August/msg00007.html. As you can see, we post all of our patches to nemiver-list@gnome.org, 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!