diff --git a/gitlab-build.sh b/gitlab-build.sh index 9dd9dc374c968f6c08c0c29367d247c2aa713e9f..2eaa85e2a63b48c5a1c73ef42fe2fd5d86780389 100755 --- a/gitlab-build.sh +++ b/gitlab-build.sh @@ -38,9 +38,9 @@ HERE echo "**** Updating $PAGES_URL/$VER_DIR ****" - make clean - make html BUILDDIR=public/$VER_DIR/ - make latexpdf BUILDDIR=public/$VER_DIR/ + make clean BUILDDIR=public/$VER_DIR + make html BUILDDIR=public/$VER_DIR + make latexpdf BUILDDIR=public/$VER_DIR pdfcpu optimize public/$VER_DIR/latex/beagleboard-docs.pdf mv public/$VER_DIR/latex/beagleboard-docs.pdf public/$VER_DIR/ rm -rf public/$VER_DIR/latex