From 18261c201b6ed3342d30271f8647be257e843acc Mon Sep 17 00:00:00 2001 From: Lars-Dominik Braun Date: Fri, 10 Feb 2017 19:53:49 +0100 Subject: Add syntax highlighting tools Patched pygments is required --- Makefile | 14 ++++++++++++++ 1 file changed, 14 insertions(+) create mode 100644 Makefile (limited to 'Makefile') 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 + -- cgit v1.2.3