Change to doc deploy script

This commit is contained in:
Griatch 2021-10-26 22:32:04 +02:00
parent 78d5190632
commit bf04d29293

View file

@ -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