diff --git a/build-doc.sh b/build-doc.sh index 1958929f6b69ed27d870c1243dc203cb57f4e66d..4106f2b74edbf251661f3148ef001a43453a4045 100755 --- a/build-doc.sh +++ b/build-doc.sh @@ -1,5 +1,5 @@ #!/bin/bash mkdir -p jams cd userguide || exit -/var/lib/jenkins/.local/bin/mkdocs build +/var/lib/jenkins/.local/bin/mkdocs build || exit 0 cp site/pdf/combined.pdf ../jams/userguide.pdf \ No newline at end of file