From fae94627c4ac8bcfd459441f13f0671721e66b96 Mon Sep 17 00:00:00 2001 From: burnash Date: Tue, 1 Oct 2013 21:49:09 +0400 Subject: [PATCH] Fixed typo in Makefile --- Makefile | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/Makefile b/Makefile index 4284c67c1..0cae324fa 100644 --- a/Makefile +++ b/Makefile @@ -156,11 +156,11 @@ doctest: gh-pages: git checkout gh-pages - rm -rf build _sources _static + rm -rf _build _sources _static git checkout master $(GH_PAGES_SOURCES) git reset HEAD make html - mv -fv build/html/* ./ - rm -rf $(GH_PAGES_SOURCES) build + mv -fv _build/html/* ./ + rm -rf $(GH_PAGES_SOURCES) _build git add -A git ci -m "Generated gh-pages for `git log master -1 --pretty=short --abbrev-commit`" && git push origin gh-pages ; git checkout master