Use yelp-tools style help install directories
https://wiki.gnome.org/Initiatives/GnomeGoals/NewDocumentationInfrastructure https://bugzilla.gnome.org/show_bug.cgi?id=719200
parent
4ceb025a
https://wiki.gnome.org/Initiatives/GnomeGoals/NewDocumentationInfrastructure https://bugzilla.gnome.org/show_bug.cgi?id=719200
mentioned in issue #4328 (closed)
·