2018-11-08 20:20:32 UTC
I'd like to use Devhelp (https://wiki.gnome.org/Apps/Devhelp) to ease
browsing and searching of the WebKitGTK documentation.
Devhelp works natively with GTK-Doc so it should be generated
automatically when building WebKitGTK. But it seems to be missing from
and from the built package on my system (GuixSD).
Is anything wrong?