Date: Thu, 05 May 2022 06:15:11 +0000 From: bugzilla-noreply@freebsd.org To: ports-bugs@FreeBSD.org Subject: [Bug 263781] [patch] devel/devhelp: Adding options for docs and editor plugin to port build Message-ID: <bug-263781-7788-aghl1MyjkK@https.bugs.freebsd.org/bugzilla/> In-Reply-To: <bug-263781-7788@https.bugs.freebsd.org/bugzilla/> References: <bug-263781-7788@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 Sean Champ <lab+bsd@thinkum.space> changed: What |Removed |Added ---------------------------------------------------------------------------- Attachment #233731|0 |1 is obsolete| | --- Comment #6 from Sean Champ <lab+bsd@thinkum.space> --- Created attachment 233734 --> https://bugs.freebsd.org/bugzilla/attachment.cgi?id=3D233734&action= =3Dedit patch for devhelp port options This updated patch would provide essentially the same behavior as the previ= ous version of this patch. In the updated patch, DOCSDIR will be set as to match where files would be installed with the docs option enalbed. With this docs option enabled, there would be two manuals installed - the Devhelp User Docs under Yelp, and the Devhelp API docs then available under= the Devhelp browser on the desktop. The Devhelp User Docs are already being installed with the port. This patch just adds an option for the API docs and the editor plugins, also updating pkg-plist. --=20 You are receiving this mail because: You are the assignee for the bug.=
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?bug-263781-7788-aghl1MyjkK>