GNOME Bugzilla – Bug 687109
help: port to new documentation infrastructure
Last modified: 2012-11-12 16:23:58 UTC
https://live.gnome.org/GnomeGoals/NewDocumentationInfrastructure
Created attachment 227525 [details] [review] help: port to new documentation infrastructure https://live.gnome.org/GnomeGoals/NewDocumentationInfrastructure
Created attachment 227560 [details] [review] help: port to new documentation infrastructure https://live.gnome.org/GnomeGoals/NewDocumentationInfrastructure
Review of attachment 227560 [details] [review]: looks good to me
would be nice to get this merged, so we can close the book on new documentation infrastructure porting...
pushed as commit 1220719. should we also remove USE_COMMON_DOC_BUILD=yes from autogen.sh?
(In reply to comment #5) > pushed as commit 1220719. > > should we also remove USE_COMMON_DOC_BUILD=yes from autogen.sh? yes