|
@@ -194,20 +194,20 @@ $(BOOKS_CLEAN):
|
|
|
# github pages
|
|
# github pages
|
|
|
|
|
|
|
|
PHONY += $(GH_PAGES)
|
|
PHONY += $(GH_PAGES)
|
|
|
-$(GH_PAGES):
|
|
|
|
|
|
|
+$(GH_PAGES)::
|
|
|
$(MAKE) docs
|
|
$(MAKE) docs
|
|
|
[ -d "gh-pages/.git" ] || git clone $(GIT_URL) gh-pages
|
|
[ -d "gh-pages/.git" ] || git clone $(GIT_URL) gh-pages
|
|
|
- -cd $(GH_PAGES); git checkout --orphan gh-pages || exit 0
|
|
|
|
|
- rm -rf $(GH_PAGES)/* $(GH_PAGES)/.gitignore
|
|
|
|
|
- touch $(GH_PAGES)/.nojekyll ;\
|
|
|
|
|
|
|
+ -cd $(GH_PAGES); git checkout gh-pages >/dev/null
|
|
|
|
|
+ -cd $(GH_PAGES); ls -A | grep -v '.git$$' | xargs rm -rf
|
|
|
cp -r $(DOCS_DIST)/* $(GH_PAGES)/
|
|
cp -r $(DOCS_DIST)/* $(GH_PAGES)/
|
|
|
|
|
+ touch $(GH_PAGES)/.nojekyll
|
|
|
echo "<html><head><META http-equiv='refresh' content='0;URL=index.html'></head></html>" > $(GH_PAGES)/404.html
|
|
echo "<html><head><META http-equiv='refresh' content='0;URL=index.html'></head></html>" > $(GH_PAGES)/404.html
|
|
|
- -cd $(GH_PAGES); git push origin :gh-pages
|
|
|
|
|
cd $(GH_PAGES);\
|
|
cd $(GH_PAGES);\
|
|
|
git add --all . ;\
|
|
git add --all . ;\
|
|
|
git commit -m "gh-pages: updated" ;\
|
|
git commit -m "gh-pages: updated" ;\
|
|
|
git push origin gh-pages
|
|
git push origin gh-pages
|
|
|
|
|
|
|
|
|
|
+
|
|
|
PHONY += docs-clean
|
|
PHONY += docs-clean
|
|
|
docs-clean: $(BOOKS_CLEAN)
|
|
docs-clean: $(BOOKS_CLEAN)
|
|
|
$(call cmd,sphinx_clean)
|
|
$(call cmd,sphinx_clean)
|
Markus Heiser