diff --git a/gitlab-build.sh b/gitlab-build.sh index 199bf4d6585d60fa35e798f81eb5b584527a364d..04c0cf4dba55e29c1beee8d82119cd8d6fdf2ac7 100755 --- a/gitlab-build.sh +++ b/gitlab-build.sh @@ -54,14 +54,14 @@ HERE echo "**** make html ****" # Build and serve HTML - make html BUILDDIR=public/$VER_DIR + make html -j$(nproc) BUILDDIR=public/$VER_DIR mv public/$VER_DIR/html/* public/$VER_DIR/ fi if [ "x$1" == "xpdf" ]; then echo "**** make latexpdf ****" # Build, optimize, and serve PDF - make latexpdf BUILDDIR=public/$VER_DIR + make latexpdf -j$(nproc) BUILDDIR=public/$VER_DIR echo "**** pdfcpu ****" pdfcpu version