GNOME Bugzilla – Bug 773900
Small build system update
Last modified: 2016-11-12 10:28:36 UTC
The branch: https://git.gnome.org/browse/devhelp/log/?h=wip/swilmet/build-system-update
Pushed on master, because apparently some people have problems building devhelp in jhbuild (see bug #774069). The new autogen.sh should fix the problem.