[mod] CI: minor changes
* utils/makefile.python: travis-gh-pages renamed ci-gh-pages
commit90b9d0d6a8248832ba5a093ba7540ea6dd9b531a
authorAlexandre Flament <alex@al-f.net>
dateTue 2 Feb 2021, 08:37 (6 years ago)
parent34de715
.github/workflows/integration.yml+1−1
@@ -73,7 +73,7 @@ jobs:
7373 python-version: '3.9'
7474 architecture: 'x64'
7575 - name: Build documentation
76− run: SEARX_DEBUG=1 make V=1 travis-gh-pages
76+ run: SEARX_DEBUG=1 make V=1 ci-gh-pages
7777 - name: Deploy
7878 if: github.ref == 'refs/heads/master'
7979 uses: JamesIves/github-pages-deploy-action@3.7.1
utils/makefile.sphinx+2−2
@@ -186,8 +186,8 @@ gh-pages: docs-clean docs
186186 git commit -q -m "make gh-pages: from $(shell git config --get remote.origin.url)@$(shell git rev-parse HEAD)" ;\
187187 git push -f origin gh-pages
188188
189−PHONY += travis-gh-pages
190−travis-gh-pages: docs-clean docs
189+PHONY += ci-gh-pages
190+ci-gh-pages: docs-clean docs
191191 rm -Rf $(GH_PAGES)
192192 mkdir -p $(GH_PAGES)
193193 $(MAKE) prepare-gh-pages