diff options
| -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) |