diff options
author | Devan Carpenter <devan@taler.net> | 2023-12-06 10:11:35 -0500 |
---|---|---|
committer | Devan Carpenter <devan@taler.net> | 2023-12-06 10:11:35 -0500 |
commit | efef505a1b35fc4fbf428181a67fe740db2bf764 (patch) | |
tree | c29b032723468e9bb7a6c0c894a1bad7d8060af3 | |
parent | 54145e3fc60f1fa84130f561e6bec8eb841971f2 (diff) | |
download | docs-efef505a1b35fc4fbf428181a67fe740db2bf764.tar.gz docs-efef505a1b35fc4fbf428181a67fe740db2bf764.tar.bz2 docs-efef505a1b35fc4fbf428181a67fe740db2bf764.zip |
CI: make build script print more to stdout
-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 |