From 90b9d0d6a8248832ba5a093ba7540ea6dd9b531a Mon Sep 17 00:00:00 2001 From: Alexandre Flament Date: Tue, 2 Feb 2021 08:37:00 +0100 Subject: [mod] CI: minor changes * utils/makefile.python: travis-gh-pages renamed ci-gh-pages --- utils/makefile.sphinx | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'utils/makefile.sphinx') diff --git a/utils/makefile.sphinx b/utils/makefile.sphinx index c0f39e87d..b674cf7f0 100644 --- a/utils/makefile.sphinx +++ b/utils/makefile.sphinx @@ -186,8 +186,8 @@ gh-pages: docs-clean docs git commit -q -m "make gh-pages: from $(shell git config --get remote.origin.url)@$(shell git rev-parse HEAD)" ;\ git push -f origin gh-pages -PHONY += travis-gh-pages -travis-gh-pages: docs-clean docs +PHONY += ci-gh-pages +ci-gh-pages: docs-clean docs rm -Rf $(GH_PAGES) mkdir -p $(GH_PAGES) $(MAKE) prepare-gh-pages -- cgit v1.2.3