commit: 142d9879573b94602a1656fa24ba96691ca290f0
Author: Michael Orlitzky <mjo <AT> gentoo <DOT> org>
AuthorDate: Sun Jan 14 18:50:25 2024 +0000
Commit: Michael Orlitzky <mjo <AT> gentoo <DOT> org>
CommitDate: Mon Jan 22 11:29:22 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=142d9879
gap-pkg.eclass: improve comment about which docs we install
The comment listing the file extensions to be installed as documentation
was outdated, as such things are doomed to be. It has been changed to
less precise and more accurate.
Suggested-by: Max Horn <horn <AT> mathematik.uni-kl.de>
Signed-off-by: Michael Orlitzky <mjo <AT> gentoo.org>
eclass/gap-pkg.eclass | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/eclass/gap-pkg.eclass b/eclass/gap-pkg.eclass
index b1fe9018cf3e..ecb73a9e27d7 100644
--- a/eclass/gap-pkg.eclass
+++ b/eclass/gap-pkg.eclass
@@ -292,7 +292,9 @@ gap-pkg_src_test() {
gap-pkg_src_install() {
einstalldocs
- # Install the "normal" documentation: pdf, six, and txt files under doc/
+ # Install the "normal" documentation from the doc directory. This
+ # includes anything the interactive GAP help might need in addition
+ # to the documentation intended for direct user consumption.
if [[ -d doc ]]; then
pushd doc > /dev/null || die
