Port to yelp tools (!7) · Merge requests · Archive / filemanager-actions

The source project of this merge request has been removed.

Balló György requested to merge (removed):yelp-tools into master Mar 11, 2020

This removes the usage of deprecated gnome-doc-utils. Also remove support for building HTML or PDF documentation.

Port to yelp tools