diff --git a/gitlab-build.sh b/gitlab-build.sh index 0ed3276bb7386285ab69e61a326e5d71eb6e510b..fef77dba1358cd47524e2246a2c1e38646d718a1 100755 --- a/gitlab-build.sh +++ b/gitlab-build.sh @@ -57,9 +57,6 @@ HERE make html BUILDDIR=public/$VER_DIR mv public/$VER_DIR/html/* public/$VER_DIR/ - echo "**** exit for now for faster debug ****" - exit 0 - echo "**** make latexpdf ****" # Build, optimize, and serve PDF make latexpdf BUILDDIR=public/$VER_DIR