From 57ecc46b028bbe4c58ea42a54f2b66e72816bf5b Mon Sep 17 00:00:00 2001 From: Artur Adib Date: Fri, 4 Nov 2011 16:37:33 -0400 Subject: [PATCH] nit --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 35e8675c2..110709906 100644 --- a/Makefile +++ b/Makefile @@ -159,7 +159,7 @@ web: | production extension compiler pages-repo \ # everything with data from the master repo. The 'make web' target # then uses 'git add -A' to track additions, modifications, moves, # and deletions. -pages-repo: | $(BUILD_DIR) +pages-repo: | $(BUILD_DIR) @if [ ! -d "$(GH_PAGES)" ]; then \ git clone -b gh-pages $(REPO) $(GH_PAGES); \ rm -rf $(GH_PAGES)/*; \