memory-leaks

commit 63fe3bafdd43c21987d90c299854dd0fa5ba1f2d
parent b4c9498a5ae11b3c3230317c5a5df0b332104eee
Author: Kévin Le Gouguec <kevin.legouguec@gmail.com>
Date:   Sat, 14 Mar 2020 12:23:13 +0100

Update page list whenever folders changed

Diffstat:
M
repo/www/Makefile
 | 
8
++++++--
M
repo/www/TODO
 | 
1
-
M
repo/www/make-deps.py
 | 
2
+-

3 files changed, 7 insertions(+), 4 deletions(-)
diff --git a/repo/www/Makefile b/repo/www/Makefile
@@ -1,16 +1,20 @@
 TOP_DIR = ../..
 OUT_DIR = $(TOP_DIR)/public
 
+text_files = md org
+text_patterns = $(foreach ext,$(text_files),'$(TOP_DIR)/**.$(ext)')
+text_folders = $(sort $(dir $(shell git ls-files $(text_patterns))))
+
 all: site
 
 include deps.mk
 
-deps.mk: make-deps.py
+deps.mk: make-deps.py $(text_folders)
 	python3 $< $(TOP_DIR) $(OUT_DIR)
 
 site: $(pages)
 
-$(folders):
+$(page_folders):
 	mkdir -p $@
 
 %.html:
diff --git a/repo/www/TODO b/repo/www/TODO
@@ -1,4 +1,3 @@
-- make deps.mk depend on all source folders
 - "leak count" on toplevel index
 - autogenerated index.html's for subfolders lacking READMEs
 - stylin'
diff --git a/repo/www/make-deps.py b/repo/www/make-deps.py
@@ -50,7 +50,7 @@ def write_dependencies(output, sources, top_dir, out_dir):
 
     print(file=output)
     print(f'pages = {" ".join(pages)}', file=output)
-    print(f'folders = {" ".join(directories)}', file=output)
+    print(f'page_folders = {" ".join(directories)}', file=output)
 
 
 def main(argv):