diff options
| -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 |