diff options
| author | Kévin Le Gouguec <kevin.legouguec@gmail.com> | 2020-03-15 17:16:00 +0100 |
|---|---|---|
| committer | Kévin Le Gouguec <kevin.legouguec@gmail.com> | 2020-03-15 18:44:58 +0100 |
| commit | 63a9ef331f5761410255e5f0f2177111c719e3ac (patch) | |
| tree | 986050cee85f19b454e650293664e9611bbef294 /repo/www/Makefile | |
| parent | 4914800729158cfc6de90b3964c222c4ab225e8e (diff) | |
| download | memory-leaks-63a9ef331f5761410255e5f0f2177111c719e3ac.tar.xz | |
Generate indices for folders without READMEs
Diffstat (limited to 'repo/www/Makefile')
| -rw-r--r-- | repo/www/Makefile | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/repo/www/Makefile b/repo/www/Makefile index 8f5bb2a..e7d5184 100644 --- a/repo/www/Makefile +++ b/repo/www/Makefile @@ -18,14 +18,19 @@ include $(dependencies) $(dependencies): make-deps.py $(text_folders) python3 $< "$(TEXT_FILES)" $(OUT_DIR) -site: $(pages) +site: $(pages) $(autoindices) $(page_folders): mkdir -p $@ -%.html: +$(pages): pandoc -s $< -o $@ +# ⚠ When tweaking this rule, check whether it still works for the +# top-level index.html, i.e. when there is no top-level README. +$(autoindices): $(OUT_DIR)%/index.html: $(TOP_DIR)% make-index.py | $(OUT_DIR)% + python3 make-index.py "$(TEXT_FILES)" "$(*:/%=%)" $(OUT_DIR) + clean: -rm $(dependencies) -rm -r $(OUT_DIR) |