diff options
| author | Kévin Le Gouguec <kevin.legouguec@gmail.com> | 2020-03-24 22:32:55 +0100 |
|---|---|---|
| committer | Kévin Le Gouguec <kevin.legouguec@gmail.com> | 2020-03-24 22:33:31 +0100 |
| commit | d7d98af0080241600bf0198f5c0942c96f3d2f95 (patch) | |
| tree | 3bcc152fc868fb81a99b788c4a58784d60dcab19 /repo/www/Makefile | |
| parent | 4cd45bc0721a3af07142bb3a62c6fc518bad5aec (diff) | |
| download | memory-leaks-d7d98af0080241600bf0198f5c0942c96f3d2f95.tar.xz | |
Distinguish indices from regular pages
So that I can add a special recipe for them, where I'll concatenate
the directory index.
Diffstat (limited to 'repo/www/Makefile')
| -rw-r--r-- | repo/www/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/repo/www/Makefile b/repo/www/Makefile index e7d5184..38a28d2 100644 --- a/repo/www/Makefile +++ b/repo/www/Makefile @@ -18,12 +18,12 @@ include $(dependencies) $(dependencies): make-deps.py $(text_folders) python3 $< "$(TEXT_FILES)" $(OUT_DIR) -site: $(pages) $(autoindices) +site: $(pages) $(indices) $(autoindices) $(page_folders): mkdir -p $@ -$(pages): +$(pages) $(indices): pandoc -s $< -o $@ # ⚠ When tweaking this rule, check whether it still works for the |