diff options
| author |   Michael Orlitzky <mjo@gentoo.org> | 2024-01-14 13:50:25 -0500 |
|---|---|---|
| committer | Michael Orlitzky <mjo@gentoo.org> | 2024-01-22 06:29:22 -0500 |
| commit | 142d9879573b94602a1656fa24ba96691ca290f0 (patch) | |
| tree | f3f2ea90a2fba3579e89e20c23fab84bc9095bf3 | |
| parent | dev-gap/ctbllib: fix typo "the are" -> "these are" (diff) | |
| download | gentoo-142d9879573b94602a1656fa24ba96691ca290f0.tar.gz gentoo-142d9879573b94602a1656fa24ba96691ca290f0.tar.bz2 gentoo-142d9879573b94602a1656fa24ba96691ca290f0.zip | |
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@mathematik.uni-kl.de>
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
| -rw-r--r-- | eclass/gap-pkg.eclass | 4 |
1 files changed, 3 insertions, 1 deletions
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 |