Port to new documentation infrastructure
Use yelp-tools instead gnome-doc-utils Fixes https://bugzilla.gnome.org/show_bug.cgi?id=683307
parent
c23cb1c1
Please register or sign in to comment
Use yelp-tools instead gnome-doc-utils Fixes https://bugzilla.gnome.org/show_bug.cgi?id=683307