From 36c948f705330810f6ea854f08bf099f83720f32 Mon Sep 17 00:00:00 2001 From: EuAndreh Date: Sat, 23 Jan 2021 19:38:26 -0300 Subject: Add Makefile with "clean", "check" and "public" rules --- .gitignore | 3 ++- Makefile | 17 +++++++++++++++++ 2 files changed, 19 insertions(+), 1 deletion(-) create mode 100644 Makefile diff --git a/.gitignore b/.gitignore index a8dbbc8..69272df 100644 --- a/.gitignore +++ b/.gitignore @@ -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) -- cgit v1.2.3