On 23/10/2017 17:00, Jan Pokorný wrote:
Please accept also this follow-up, then. Note two things:
Pushed:
https://git.gnome.org/browse/libxml2/commit/?id=ca01f8133eff5a5fe4fa542c0161c75bc702f253
2. I don't see any hook to refresh xmlcatalog_man.html in the build system,
and indeed, that file seems to be quite stale -- I suggest either
adding a hook to have that file (and possibly more like that) refreshed
(leveraging html/docbook.xsl from DocBook distribution) or drop that
(and possibly more) altogether
Thanks for the catch, fixed here:
https://git.gnome.org/browse/libxml2/commit/?id=09f51ecbc5b8ea418bacca4ad43a4d2d1e3ccdfb
Nick
_______________________________________________
xml mailing list, project page http://xmlsoft.org/
xml@gnome.org
https://mail.gnome.org/mailman/listinfo/xml
