From 779a5a3ca9bd07154bcbcd1301d7be10e6505a83 Mon Sep 17 00:00:00 2001 From: Vincent Catalano Date: Sun, 30 Mar 2014 18:28:29 -0700 Subject: [PATCH] Fix gh-pages configuration to remove build directory --- Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index 1e90cd8..3aabf9d 100644 --- a/Makefile +++ b/Makefile @@ -57,12 +57,12 @@ html: gh-pages: git checkout gh-pages - rm -rf $(GH_PAGES_SOURCE) _build _sources _static + rm -rf $(GH_PAGES_SOURCE) $(BUILDDIR) _sources _static git checkout master $(GH_PAGES_SOURCE) git reset HEAD make html mv -fv _build/html/* ./ - rm -rf $(GH_PAGES_SOURCE) + rm -rf $(GH_PAGES_SOURCE) $(BUILDDIR) git add -A git commit -m "Generated gh-pages for `git log master -1 --pretty=short --abbrev-commit`" && git push origin gh-pages ; git checkout master