[Bug 263872] www/webkit2-gtk3: Patch for installing gtk-doc/devhelp documentation

From: <bugzilla-noreply_at_freebsd.org>
Date: Sun, 08 May 2022 23:54:51 UTC

            Bug ID: 263872
           Summary: www/webkit2-gtk3: Patch for installing gtk-doc/devhelp
           Product: Ports & Packages
           Version: Latest
          Hardware: Any
                OS: Any
            Status: New
          Severity: Affects Only Me
          Priority: ---
         Component: Individual Port(s)
          Assignee: gnome@FreeBSD.org
          Reporter: lab+bsd@thinkum.space
             Flags: maintainer-feedback?(gnome@FreeBSD.org)
          Assignee: gnome@FreeBSD.org

webkit2-gtk3 provides a cmake option for enabling a gtk-doc build for the
JavaScriptCore, WebKitGTK and WebKitDOMGTK+ components. If installed to a
directory accessible to Devhelp, the documentation can be browsed like other
devhelp manuals.

The attached patch adds a DOCS option to the www/webkit2-gtk3 port and patches
plist, for the documentation to be installed to a path accessible to devhelp.

Candidly, in looking at the patch before publishing it here I notice that the
patch has set a
documentation actually winds up installed under other subdirectories of
-DCMAKE_INSTALL_DOCDIR=share/gtk-doc/html e.g with one manual installed to
share/gtk-doc/html/jsc-glib-4.0/ under the prefix dir. 

I haven't tried building with a different CMAKE_INSTALL_DOCDIR. The docs are at
least installed to the pathnames conditionally in the pkg-plist and can be
browsed with Devhelp, with the port as patched with the attached diff. 

After the next port-updates build locally, I'll try to test out how
CMAKE_INSTALL_DOCDIR is being used in the docs build

Maybe the documention could even help to inform any goal of using the Ruby,
Python, or other GTK WebKit bindings.

You are receiving this mail because:
You are the assignee for the bug.