diff options
| author | Lars-Dominik Braun <lars@6xq.net> | 2017-02-10 19:53:49 +0100 |
|---|---|---|
| committer | Lars-Dominik Braun <lars@6xq.net> | 2017-02-10 19:53:49 +0100 |
| commit | 18261c201b6ed3342d30271f8647be257e843acc (patch) | |
| tree | fdee76b6ec3ec05fe49f4335fe680d351a081265 /Makefile | |
| parent | d568f2aff352201434f34e3594658ab79c9119ce (diff) | |
| download | eumel-src-18261c201b6ed3342d30271f8647be257e843acc.tar.gz eumel-src-18261c201b6ed3342d30271f8647be257e843acc.tar.bz2 eumel-src-18261c201b6ed3342d30271f8647be257e843acc.zip | |
Add syntax highlighting tools
Patched pygments is required
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 + |