[Bug 263781] [patch] devel/devhelp: Adding options for docs and editor plugin to port build
Date: Thu, 05 May 2022 05:04:36 UTC
https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=263781 --- Comment #4 from Sean Champ <email@example.com> --- 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 the assignee for the bug.