[Bug 263781] [patch] devel/devhelp: Adding options for docs and editor plugin to port build
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Thu, 05 May 2022 06:15:11 UTC
https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=263781
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=233734&action=edit
patch for devhelp port options
This updated patch would provide essentially the same behavior as the previous
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.
--
You are receiving this mail because:
You are on the CC list for the bug.