Migrate from gnome-doc-utils to yelp-tools

dasher-project / dasher

Dasher

http://www.inference.phy.cam.ac.uk/dasher/

GNU General Public License v2.0

156 stars 45 forks source link

Closed yaneti closed 4 years ago

worldofpeace commented 4 years ago

Any updates on this PR and it possibly getting integrated? Migration from gnome-doc-utils to yelp-tools is important, and even fedora holds this patch downstream because of this https://src.fedoraproject.org/rpms/dasher/blob/master/f/gnome-doc-utils-depr.patch.

willwade commented 4 years ago

Sure. Apologies for letting it drag. Let me find some time to check and do a merge

willwade commented 4 years ago

@cagdasgerede - This looks good to me - you are labelled as owner and I cant merge. Take a look if you can! TY