diff options
-rwxr-xr-x | contrib/ci/jobs/0-build/build-docs.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/ci/jobs/0-build/build-docs.sh b/contrib/ci/jobs/0-build/build-docs.sh index 6accee36..938a9a35 100755 --- a/contrib/ci/jobs/0-build/build-docs.sh +++ b/contrib/ci/jobs/0-build/build-docs.sh @@ -1,6 +1,6 @@ #!/bin/bash -set -eu +set -exou make html make latexpdf |