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