From bf04d29293c20a605242f29f529be569103e193f Mon Sep 17 00:00:00 2001 From: Griatch Date: Tue, 26 Oct 2021 22:32:04 +0200 Subject: [PATCH] Change to doc deploy script --- docs/deploy.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/deploy.sh b/docs/deploy.sh index 61bec80c78..3799ee2bc7 100644 --- a/docs/deploy.sh +++ b/docs/deploy.sh @@ -28,7 +28,7 @@ git add . git commit -a -m "Updated HTML docs" -echo "Skipping deployment" +# echo "Skipping deployment" git push origin gh-pages # get back to previous branch