[webkit-gtk] Missing devhelp index?

[Pierre Neidhardt]

Hi!

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 
https://webkitgtk.org/reference/webkit2gtk/stable/
and from the built package on my system (GuixSD).

Is anything wrong?

-- 
Pierre Neidhardt
https://ambrevar.xyz/
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 487 bytes
Desc: not available
URL: <http://lists.webkit.org/pipermail/webkit-gtk/attachments/20181108/8ee07924/attachment.bin>