On 02/18/2017 10:30 PM, Ross Burton wrote: > > On 18 February 2017 at 18:40, Shaun McCance <sha...@gnome.org > <mailto:sha...@gnome.org>> wrote: > > But in the short term, switching to yelp-xsl would make builds faster. > > > Is this just a matter of pointing at a different set of stylesheets, > or is there more to the port than that? > > Ross
It is probably not that simple. gtk-doc has some customization layer on top of the docbook xslt stylesheets. Most of the customization is to fi some of the bad performance (e.g. disabling i18n since we don't use it). But other targets are used to e.g. create the top-navbar. https://git.gnome.org/browse/gtk-doc/tree/gtk-doc.xsl It would be interesting to try still. Stefan > > > _______________________________________________ > desktop-devel-list mailing list > desktop-devel-list@gnome.org > https://mail.gnome.org/mailman/listinfo/desktop-devel-list
_______________________________________________ desktop-devel-list mailing list desktop-devel-list@gnome.org https://mail.gnome.org/mailman/listinfo/desktop-devel-list
