@@ -198,6 +198,7 @@ $(GH_PAGES)::
198 $(MAKE) docs
198 $(MAKE) docs
199 [ -d "gh-pages/.git" ] || git clone $(GIT_URL) gh-pages
199 [ -d "gh-pages/.git" ] || git clone $(GIT_URL) gh-pages
200 -cd $(GH_PAGES); git checkout gh-pages >/dev/null
200 -cd $(GH_PAGES); git checkout gh-pages >/dev/null
201+ -cd $(GH_PAGES); git pull
201 -cd $(GH_PAGES); ls -A | grep -v '.git$$' | xargs rm -rf
202 -cd $(GH_PAGES); ls -A | grep -v '.git$$' | xargs rm -rf
202 cp -r $(DOCS_DIST)/* $(GH_PAGES)/
203 cp -r $(DOCS_DIST)/* $(GH_PAGES)/
203 touch $(GH_PAGES)/.nojekyll
204 touch $(GH_PAGES)/.nojekyll