This repository has been archived on 2023-02-03. You can view files and clone it, but cannot push or open issues or pull requests.
2017-10-04 14:43:40 +00:00
|
|
|
DEV_DIST_DIR:=./devdist/
|
|
|
|
|
PROD_DIST_DIR:=./dist/
|
|
|
|
|
|
2017-10-04 14:35:39 +00:00
|
|
|
devserver:
|
2017-10-04 14:43:40 +00:00
|
|
|
@echo "Serving development site from $(DEV_DIST_DIR)"
|
|
|
|
|
@jekyll serve --watch --incremental --destination devdist
|
2017-10-04 14:35:39 +00:00
|
|
|
|
|
|
|
|
proddist:
|
2017-10-04 14:43:40 +00:00
|
|
|
@echo "Building production site into $(PROD_DIST_DIR)"
|
|
|
|
|
@jekyll build
|
2017-10-04 14:35:39 +00:00
|
|
|
|
2017-10-04 13:54:56 +00:00
|
|
|
release:
|
2017-10-04 14:43:40 +00:00
|
|
|
@echo "Pushing $(PROD_DIST_DIR) contents to the upstream production branch"
|
|
|
|
|
@git subtree push --prefix dist upstream production
|
