diff options
| author | Christian Grothoff <christian@grothoff.org> | 2023-07-20 16:03:47 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2023-07-20 16:03:47 +0200 |
| commit | 827f65d997243fcb3e65a99dc2f373615ae74f68 (patch) | |
| tree | 39bb5d413743fddeb21ad22c35f2baafd9780739 /contrib | |
| parent | fd9e5515638fe94ceb8f9c14e9ced3c9247345e1 (diff) | |
check for key dependency
Diffstat (limited to 'contrib')
| -rwxr-xr-x | contrib/taler-terms-generator.in | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/contrib/taler-terms-generator.in b/contrib/taler-terms-generator.in index 6b4664137..1bf030c16 100755 --- a/contrib/taler-terms-generator.in +++ b/contrib/taler-terms-generator.in @@ -143,6 +143,12 @@ while getopts ':a:C:hi:l:o:p:t:' OPTION; do esac done +if ! which sphinx-build > /dev/null +then + echo "Command 'sphinx-build' not found, but required. Please install sphinx." + exit 1 +fi + BUILDDIR=$(mktemp -d /tmp/taler-terms-XXXXXX) if [ ! -f "${VERSION}.rst" ] then |