From 0780442e70dd3e8f5700e57e9b14d02010a4e957 Mon Sep 17 00:00:00 2001
From: Karel van Klink <karel.vanklink@geant.org>
Date: Fri, 14 Jul 2023 10:37:12 +0200
Subject: [PATCH] remove nginx command
Signed-off-by: Karel van Klink <karel.vanklink@geant.org>
---
docs/.gitlab-ci.yml | 2 --
1 file changed, 2 deletions(-)
diff --git a/docs/.gitlab-ci.yml b/docs/.gitlab-ci.yml
index 23b4920..63589a3 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
--
GitLab