:

diff --git a/Makefile b/Makefile
index 0dc5f9b30dd1af79d10bbc7ac3fc43a2361a020d..2c38b392891293d7f442ab902310e4d8a89e1dfe 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -7,6 +7,7 @@ build: ensure
 book: build
 
 deploy: book
+       @git push origin :gh-pages || true
        @git add -f book
        @git commit -m "add book"
        @git subtree push --prefix book origin gh-pages