[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?

[Michael Catanzaro]

Post by Pierre Neidhardt
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

[Pierre Neidhardt]

I've updated the package for Guix to build the documentation. Thanks for the hint!