From dc91454a161795090a5401ea2b9fa0b4fcf98bc7 Mon Sep 17 00:00:00 2001 From: Luke Murphy Date: Sat, 14 Oct 2017 17:19:16 +0200 Subject: [PATCH] Remove that unused target. --- Makefile | 12 ------------ 1 file changed, 12 deletions(-) diff --git a/Makefile b/Makefile index c0a09e0..34306dd 100644 --- a/Makefile +++ b/Makefile @@ -1,18 +1,6 @@ DEV_DIST_DIR:=dist -PROD_DIST_DIR:=proddist -PROD_REMOTE:=git@gitlab.com:autonomic-cooperative/autonomic-cooperative.gitlab.io.git -PROD_BRANCH:=production devserver: @echo "Serving development site from $(DEV_DIST_DIR)" @jekyll serve --watch --incremental --destination $(DEV_DIST_DIR) .PHONY: devserver - -release: - @echo "Building production site into $(PROD_DIST_DIR)" - @jekyll build --destination $(PROD_DIST_DIR) - @echo "Resetting existing production branch" - @git push $(PROD_REMOTE) $(PROD_BRANCH) --delete - @echo "Pushing latest $(PROD_DIST_DIR) contents to the upstream production branch" - @git subtree push --prefix $(PROD_DIST_DIR) $(PROD_REMOTE) $(PROD_BRANCH) -.PHONY: release