1 files changed, 17 insertions, 0 deletions
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)