[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 06:15:11 UTC

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

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