[Bug 263781] [patch] devel/devhelp: Adding options for docs and editor plugin to port build

From: <bugzilla-noreply_at_freebsd.org>
Date: Thu, 05 May 2022 05:04:36 UTC

--- Comment #4 from Sean Champ <lab+bsd@thinkum.space> ---
I've added maintainer to CC. That had been missed due to a typo in topic line
for the the initial patch.

It seems that the patched port will have installed two separate manuals under
DOCSDIR - i.e the devhelp API docs (visible in Devhelp, and browsable from the
shell with Yelp). Looking at the pkg-plist again, it seems that this manual was
already being built and installed - Yelp is probably using the *.page files
listed in the pkg-plist. Those were already being installed, then available
from the Yelp top index.

Looking at the devhelp documentation, should *.devhelp2 files and their linked
HTML and image files all be installed under
/usr/local/share/gtk-doc/html/<PORTNAME>/ ? That's where the gtk3 and gdk3
devhelp docs are installed, for instance. 

Albeit, somehow the Devehelop browser is finding Devhelp's own devhelp docs
without those being installed to such a directory.

Assuming that the patched port should probably install the API docs for devehlp
under that dir, for consistency, I'll update and add a new diff

You are receiving this mail because:
You are on the CC list for the bug.