@@ -168,6 +168,11 @@ $(BOOKS_CLEAN):
168168 $(DOCS_BUILD)/latex/$(patsubst books/%.clean,%,$@)
169169
170170# github pages
171+PHONY += prepare-gh-pages
172+prepare-gh-pages:
173+ cp -r $(DOCS_DIST)/* $(GH_PAGES)/
174+ touch $(GH_PAGES)/.nojekyll
175+ echo "<html><head><META http-equiv='refresh' content='0;URL=index.html'></head></html>" > $(GH_PAGES)/404.html
171176
172177PHONY += $(GH_PAGES)
173178$(GH_PAGES)::
@@ -176,14 +181,18 @@ $(GH_PAGES)::
176181 -cd $(GH_PAGES); git checkout gh-pages >/dev/null
177182 -cd $(GH_PAGES); git pull
178183 -cd $(GH_PAGES); ls -A | grep -v '.git$$' | xargs rm -rf
179− cp -r $(DOCS_DIST)/* $(GH_PAGES)/
180− touch $(GH_PAGES)/.nojekyll
181− echo "<html><head><META http-equiv='refresh' content='0;URL=index.html'></head></html>" > $(GH_PAGES)/404.html
184+ $(MAKE) prepare-gh-pages
182185 cd $(GH_PAGES);\
183186 git add --all . ;\
184187 git commit -m "gh-pages: updated" ;\
185188 git push origin gh-pages
186189
190+PHONY += travis-gh-pages
191+travis-gh-pages:
192+ $(MAKE) docs
193+ rm -Rf $(GH_PAGES)
194+ mkdir -p $(GH_PAGES)
195+ $(MAKE) prepare-gh-pages
187196
188197PHONY += docs-clean
189198docs-clean: $(BOOKS_CLEAN)