diff --git a/sphinx_doc/Makefile b/sphinx_doc/Makefile index b4856d0ca71bdedb5ee2290bfde864708937e943..3ffb456a7cf38ae1255ed8b1161f73c39969ef8b 100644 --- a/sphinx_doc/Makefile +++ b/sphinx_doc/Makefile @@ -54,7 +54,7 @@ publish: cp scripts/.nojekyll $(PUBLISHDIR)/.nojekyll cd $(PUBLISHDIR) && \ git add -A && \ - git diff-index --quiet HEAD || \ #if no changes, don't commit. + git diff-index --quiet HEAD || \ (git commit -s -m "[skip ci] publish $(RELEASE)" && git push origin)