Fixed missing target directory.

diff --git a/doc/Makefile b/doc/Makefile
index aabe59d493fe69b04ea0c63f0be7ffb86b3b27de..9ca213a6c415acf1ea80762f3275a37579d7f369 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -28,6 +28,7 @@ gh-pages: html
        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"
        rm -rf $(GH_PAGES)/test
+       mkdir $(GH_PAGES)/test
        cp -R ../html/* $(GH_PAGES)/test
        git --work-tree=$(GH_PAGES) --git-dir=$(GH_PAGES)/.git add -A
        git --work-tree=$(GH_PAGES) --git-dir=$(GH_PAGES)/.git commit -m "Updated doc from commit $(TRAVIS_COMMIT)."