diff options
author | EuAndreh <eu@euandre.org> | 2021-01-23 19:38:26 -0300 |
---|---|---|
committer | EuAndreh <eu@euandre.org> | 2021-01-23 19:54:00 -0300 |
commit | 36c948f705330810f6ea854f08bf099f83720f32 (patch) | |
tree | ee6d2b85a68f7db0721174930e4733e8c508a8de | |
parent | Add default CI infrastructure (diff) | |
download | euandre.org-36c948f705330810f6ea854f08bf099f83720f32.tar.gz euandre.org-36c948f705330810f6ea854f08bf099f83720f32.tar.xz |
Add Makefile with "clean", "check" and "public" rules
Diffstat (limited to '')
-rw-r--r-- | .gitignore | 3 | ||||
-rw-r--r-- | Makefile | 17 |
2 files changed, 19 insertions, 1 deletions
@@ -4,6 +4,7 @@ # Jekyll /.bundle/ /_site/ +/public/ /.jekyll-cache/ /images/graphviz/ @@ -14,4 +15,4 @@ /static/favicon.png /music/*.pdf /music/*.midi -/favicon.ico
\ No newline at end of file +/favicon.ico diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..338bfee --- /dev/null +++ b/Makefile @@ -0,0 +1,17 @@ +.PHONY: check +check: + sh tests.sh + +.PHONY: clean +clean: + rm -rf public/ _site/ + +NAME_UC = website +NAME = $(NAME_UC) +MAILING_LIST = public-inbox +OUT = public + +.PHONY: public +public: + jekyll build -d $(OUT) --trace + sh build-aux/workflow/TODOs.sh $(NAME_UC) $(NAME) $(MAILING_LIST) |