Discussion:
Missing devhelp index?
(too old to reply)
Pierre Neidhardt
2018-11-08 20:20:32 UTC
Permalink
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/
Michael Catanzaro
2018-11-08 21:10:08 UTC
Permalink
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
2018-11-12 15:52:34 UTC
Permalink
I've updated the package for Guix to build the documentation. Thanks for the hint!
--
Pierre Neidhardt
https://ambrevar.xyz/
Loading...