Date: Thu, 05 May 2022 05:04:36 +0000 From: bugzilla-noreply@freebsd.org To: gnome@FreeBSD.org Subject: [Bug 263781] [patch] devel/devhelp: Adding options for docs and editor plugin to port build Message-ID: <bug-263781-6497-PGpMKXx9qR@https.bugs.freebsd.org/bugzilla/> In-Reply-To: <bug-263781-6497@https.bugs.freebsd.org/bugzilla/> References: <bug-263781-6497@https.bugs.freebsd.org/bugzilla/>
next in thread | previous in thread | raw e-mail | index | archive | help
https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=3D263781 --- 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 li= ne for the the initial patch. It seems that the patched port will have installed two separate manuals und= er 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 lin= ked 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.=20 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 dev= ehlp under that dir, for consistency, I'll update and add a new diff --=20 You are receiving this mail because: You are on the CC list for the bug.=
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?bug-263781-6497-PGpMKXx9qR>