From: Vladimír Čunát <vladimir.cunat@nic.cz>
Date: Tue, 19 Sep 2023 08:30:34 +0000 (+0200)
Subject: scripts/make-doc.sh: minor improvements
X-Git-Tag: v6.0.3~1^2~2
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=89bf09f209f7268c38d536737b6250c9674c6907;p=thirdparty%2Fknot-resolver.git

scripts/make-doc.sh: minor improvements

Propagate errors, fix nit reported by shellcheck.
---

diff --git a/scripts/make-doc.sh b/scripts/make-doc.sh
index fda206d8d..6cefd6c51 100755
--- a/scripts/make-doc.sh
+++ b/scripts/make-doc.sh
@@ -1,6 +1,7 @@
 #!/bin/bash
 # SPDX-License-Identifier: GPL-3.0-or-later
-cd "$(dirname ${0})/.."
+set -o errexit -o nounset
+cd "$(dirname "${0}")/.."
 
 # generate JSON schema for the manager's declarative config
 pushd manager
@@ -14,12 +15,6 @@ pushd doc
 doxygen
 popd
 
-SPHINX=$(command -v sphinx-build-3)
-if [ $? -ne 0 ]; then
-    SPHINX=$(command -v sphinx-build)
-fi
-
-set -o errexit -o nounset
-
+SPHINX=$(type -P sphinx-build-3 sphinx-build | head -n1)
 rm -rf doc/html
-${SPHINX} ${@} -b html -d doc/.doctrees doc doc/html
+"$SPHINX" "$@" -b html -d doc/.doctrees doc doc/html