diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..f31f41c --- /dev/null +++ b/Makefile @@ -0,0 +1,14 @@ +all: _build/index.html + +_build: tools/highlight.py + mkdir -p _build && \ + find . -mindepth 2 -type f -not -path './.git/*' -not -path './doc/*' -not -path './_build/*' | cut -d / -f 2- | parallel 'tools/highlight.py {}' + +_build/index.html: tools/listdir.py | _build + pushd _build && find . -name '*.html' | cut -d / -f 2- | sort | ../tools/listdir.py src/ > index.html + +.PHONY: clean + +clean: + $(RM) -r _build + |