diff --git a/.gitignore b/.gitignore index ca656bf..25ac1eb 100644 --- a/.gitignore +++ b/.gitignore @@ -11,4 +11,5 @@ # generated files docs/build -docs/source/api/*.rst \ No newline at end of file +docs/source/api/*.rst +build/ diff --git a/docs/Makefile b/docs/Makefile index d0c3cbf..5f7e02d 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -12,9 +12,27 @@ BUILDDIR = build help: @$(SPHINXBUILD) -M help "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O) -.PHONY: help Makefile +.PHONY: help Makefile ghpages # Catch-all target: route all unknown targets to Sphinx using the new # "make mode" option. $(O) is meant as a shortcut for $(SPHINXOPTS). %: Makefile @$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O) + +# push to this repo's gh-pages (must be named origin and must have a gh-pages branch) + +REPONAME = origin + +ghpages: html + -(ORIGIN_REMOTE_URL=`git config --get remote.$(REPONAME).url`; \ + rev=`git rev-parse --short HEAD`; \ + cd $(BUILDDIR)/$^ \ + && git init \ + && git remote add origin $${ORIGIN_REMOTE_URL} \ + && git fetch --depth 50 origin gh-pages \ + && git reset origin/gh-pages \ + && touch .nojekyll \ + && git add -A . \ + && git diff-index --quiet HEAD -- || git commit -m "updated sphinx docs from $${rev}" \ + && git push -q origin HEAD:gh-pages) + rm -rf $(BUILDDIR)/$^/.git