From: Oliver Schmidt Date: Sat, 8 Feb 2014 21:47:24 +0000 (+0100) Subject: Keep git push happy. X-Git-Tag: V2.15~164 X-Git-Url: https://git.sur5r.net/?a=commitdiff_plain;h=f155efa3e7d283e2aa7b3fca412db160e086bb7b;p=cc65 Keep git push happy. --- diff --git a/doc/Makefile b/doc/Makefile index dc6c451cf..1e2bf435f 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -35,6 +35,7 @@ ifdef GH_TOKEN git clone --branch=gh-pages https://$(GH_TOKEN)@github.com/oliverschmidt/cc65.git $(GH_PAGES) git --work-tree=$(GH_PAGES) --git-dir=$(GH_PAGES)/.git config user.name "Oliver Schmidt" git --work-tree=$(GH_PAGES) --git-dir=$(GH_PAGES)/.git config user.email "ol.sc@web.de" + git --work-tree=$(GH_PAGES) --git-dir=$(GH_PAGES)/.git config push.default simple $(RM) -r $(GH_PAGES)/doc mkdir $(GH_PAGES)/doc cp ../html/* $(GH_PAGES)/doc