diff --git a/docs/.gitlab-ci.yml b/docs/.gitlab-ci.yml index 23b49204683a5a60148ea9b361e7e39c3580e4c9..63589a3ea27f2da4b73b3e39d51ac0369d7c4fc4 100644 --- a/docs/.gitlab-ci.yml +++ b/docs/.gitlab-ci.yml @@ -58,7 +58,6 @@ publish-prod-2: script: - rm -r /var/www/gap-docs/* - mv $CI_PROJECT_DIR/docs/build/html/* /var/www/gap-docs/ - - nginx -s reload publish-prod-1: stage: publish-prod-1 @@ -77,4 +76,3 @@ publish-prod-1: script: - rm -r /var/www/gap-docs/* - mv $CI_PROJECT_DIR/docs/build/html/* /var/www/gap-docs/ - - nginx -s reload