Remove that unused target.

This commit is contained in:
Luke Murphy 2017-10-14 17:19:16 +02:00
parent 078bc71ce4
commit dc91454a16
No known key found for this signature in database
GPG Key ID: 5E2EF5A63E3718CC

View File

@ -1,18 +1,6 @@
DEV_DIST_DIR:=dist DEV_DIST_DIR:=dist
PROD_DIST_DIR:=proddist
PROD_REMOTE:=git@gitlab.com:autonomic-cooperative/autonomic-cooperative.gitlab.io.git
PROD_BRANCH:=production
devserver: devserver:
@echo "Serving development site from $(DEV_DIST_DIR)" @echo "Serving development site from $(DEV_DIST_DIR)"
@jekyll serve --watch --incremental --destination $(DEV_DIST_DIR) @jekyll serve --watch --incremental --destination $(DEV_DIST_DIR)
.PHONY: devserver .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