diff options
Diffstat (limited to 'repo/www/Makefile')
| -rw-r--r-- | repo/www/Makefile | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/repo/www/Makefile b/repo/www/Makefile new file mode 100644 index 0000000..7ae0e5e --- /dev/null +++ b/repo/www/Makefile @@ -0,0 +1,20 @@ +TOP_DIR = ../.. +OUT_DIR = $(TOP_DIR)/public + +all: site + +include deps.mk + +deps.mk: make-deps.py + python3 $< $(TOP_DIR) $(OUT_DIR) + +site: $(pages) + +$(folders): + mkdir -p $@ + +%.html: + pandoc -s $< -o $@ + +clean: + -rm -r $(OUT_DIR) |
