diff --git a/build-doc.sh b/build-doc.sh index 4106f2b74edbf251661f3148ef001a43453a4045..d268361d72047b78b53d6409b6992e4c38014c74 100755 --- a/build-doc.sh +++ b/build-doc.sh @@ -1,5 +1,10 @@ #!/bin/bash mkdir -p jams cd userguide || exit +cd src/mkpdfs-mkdocs-plugin || ( echo 'Cannot cd to src/mkpdfs-mkdocs-plugin' && exit ) +git pull || ( echo 'Error on git pull' && exit ) +pip install npm || ( echo 'Error installing npm pip module' && exit ) +python design.py || ( echo 'Error exexuting design.py ' && exit ) +cd ../.. || ( echo 'Error changing directory to userguide ' && exit ) /var/lib/jenkins/.local/bin/mkdocs build || exit 0 cp site/pdf/combined.pdf ../jams/userguide.pdf \ No newline at end of file