diff options
author | Matteo Bernardini <ponce@slackbuilds.org> | 2023-07-04 20:02:19 +0200 |
---|---|---|
committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2023-07-08 16:42:13 +0700 |
commit | a1703e3e522e2f6b1c5eee8e4587c50fe09b62ee (patch) | |
tree | ba48595e280eb20ad972c1c6244567c8f4db40c1 /libraries/sratom/sratom.SlackBuild | |
parent | c5e06770d584dee8d94e6f2e930711cc76894042 (diff) |
libraries/sratom: Don't build the docs by default.
A Sphinx module is needed to build them
and that's a bit overkill
Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org>
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'libraries/sratom/sratom.SlackBuild')
-rw-r--r-- | libraries/sratom/sratom.SlackBuild | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/libraries/sratom/sratom.SlackBuild b/libraries/sratom/sratom.SlackBuild index 7f385d633f8b2..2eab3077e7c7d 100644 --- a/libraries/sratom/sratom.SlackBuild +++ b/libraries/sratom/sratom.SlackBuild @@ -65,6 +65,8 @@ else LIBDIRSUFFIX="" fi +doc="-Ddocs=disabled" ; [ "${DOCS:-no}" != "no" ] && doc="-Ddocs=enabled" + set -e rm -rf $PKG @@ -92,6 +94,7 @@ cd build --mandir=/usr/man \ --prefix=/usr \ --sysconfdir=/etc \ + $doc \ -Dstrip=true "${NINJA:=ninja}" DESTDIR=$PKG $NINJA install |