mirror of
https://github.com/c-cube/iter.git
synced 2025-12-06 11:15:32 -05:00
Add a gh-pages target.
This commit is contained in:
parent
cb052da2c8
commit
64baa13b61
2 changed files with 18 additions and 1 deletions
1
.gitignore
vendored
1
.gitignore
vendored
|
|
@ -6,3 +6,4 @@ _build
|
||||||
man/
|
man/
|
||||||
*.install
|
*.install
|
||||||
.merlin
|
.merlin
|
||||||
|
.gh-pages
|
||||||
|
|
|
||||||
18
Makefile
18
Makefile
|
|
@ -40,4 +40,20 @@ watch:
|
||||||
make all; \
|
make all; \
|
||||||
done
|
done
|
||||||
|
|
||||||
.PHONY: benchs tests examples update_next_tag push_doc push_stable watch
|
REPO=git@github.com:c-cube/iter
|
||||||
|
DOCDIR=.gh-pages
|
||||||
|
|
||||||
|
$(DOCDIR)/.git:
|
||||||
|
mkdir -p $(DOCDIR)
|
||||||
|
cd $(DOCDIR) && (\
|
||||||
|
git clone -b gh-pages $(REPO).git . \
|
||||||
|
)
|
||||||
|
|
||||||
|
gh-pages: $(DOCDIR)/.git doc
|
||||||
|
git -C $(DOCDIR) pull
|
||||||
|
cp -r _build/default/_doc/_html/* $(DOCDIR)/doc/dev/
|
||||||
|
git -C $(DOCDIR) add --all
|
||||||
|
git -C $(DOCDIR) commit -a -m "gh-page updates"
|
||||||
|
git -C $(DOCDIR) push origin gh-pages
|
||||||
|
|
||||||
|
.PHONY: benchs tests examples update_next_tag push_doc push_stable watch gh-pages
|
||||||
|
|
|
||||||
Loading…
Add table
Reference in a new issue