[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 05:53:17 UTC
https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=263781
--- Comment #5 from Sean Champ <lab+bsd@thinkum.space> ---
If installing the devhelp HTML files and *.devhelp2 under
${PREFIX}/share/gtk-doc/html/${PORTNAME} then the Devhelp documentation browser
actually cannot find that documentation file.
Maybe it wouldn't seem very tidy for the number of files that the docs option
installs under the effective DOCSDIR, with the patch as-is. I'm not certain of
how to ensure Devhelp would actually find those documentation files if
installed under ${PREFIX}/share/gtk-doc/html/${PORTNAME}
--
You are receiving this mail because:
You are on the CC list for the bug.