[webkit-gtk] Missing devhelp index?

[Michael Catanzaro]

On Thu, Nov 8, 2018 at 2:20 PM, Pierre Neidhardt <mail at ambrevar.xyz> 
wrote:
> 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).

It's disabled by default at build time. Maybe we should change that. 
You need to build with -DENABLE_GTKDOC=ON. Then it should be installed 
to /usr/share/gtk-doc/html/webkit2gtk-4.0/webkit2gtk-4.0.devhelp. It's 
working fine in Fedora.

Michael
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.webkit.org/pipermail/webkit-gtk/attachments/20181108/7472a132/attachment.html>