diff --git a/gitlab-build.sh b/gitlab-build.sh index 028f7acff9171090ca093bf2f66bda72c99d6eab..8e4780157c59508d9f232862e7696a8ef6278fe3 100755 --- a/gitlab-build.sh +++ b/gitlab-build.sh @@ -47,20 +47,12 @@ HERE echo "**** make html ****" # Build and serve HTML - if [ "x${CI_RUNNER_EXECUTABLE_ARCH}" == "xlinux/arm64" ] ; then - make -j4 html BUILDDIR=public/$VER_DIR - else - make html BUILDDIR=public/$VER_DIR - fi + make html BUILDDIR=public/$VER_DIR mv public/$VER_DIR/html/* public/$VER_DIR/ echo "**** make latexpdf ****" # Build, optimize, and serve PDF - if [ "x${CI_RUNNER_EXECUTABLE_ARCH}" == "xlinux/arm64" ] ; then - make -j4 latexpdf BUILDDIR=public/$VER_DIR - else - make latexpdf BUILDDIR=public/$VER_DIR - fi + make latexpdf BUILDDIR=public/$VER_DIR echo "**** pdfcpu ****" if [ "x${CI_RUNNER_EXECUTABLE_ARCH}" == "xlinux/arm64" ] ; then