diff options
| -rw-r--r-- | repo/www/Makefile | 2 | ||||
| -rwxr-xr-x | repo/www/make-deps.py | 3 |
2 files changed, 2 insertions, 3 deletions
diff --git a/repo/www/Makefile b/repo/www/Makefile index 2cf5f9c..21bf328 100644 --- a/repo/www/Makefile +++ b/repo/www/Makefile @@ -5,6 +5,8 @@ text_files = md org text_patterns = $(foreach ext,$(text_files),'$(TOP_DIR)/**.$(ext)') text_folders = $(sort $(dir $(shell git ls-files $(text_patterns)))) +page_folders = $(patsubst $(TOP_DIR)%/,$(OUT_DIR)%,$(text_folders)) + all: site include deps.mk diff --git a/repo/www/make-deps.py b/repo/www/make-deps.py index 4045580..4ca4e6e 100755 --- a/repo/www/make-deps.py +++ b/repo/www/make-deps.py @@ -37,7 +37,6 @@ def html_path(source_path, top_dir, out_dir): def write_dependencies(output, sources, top_dir, out_dir): pages = [] - directories = set() for src in sources: html = html_path(src, top_dir, out_dir) @@ -46,11 +45,9 @@ def write_dependencies(output, sources, top_dir, out_dir): print(f'{html}: {src} | {html_dir}', file=output) pages.append(html) - directories.add(html_dir) print(file=output) print(f'pages = {" ".join(pages)}', file=output) - print(f'page_folders = {" ".join(directories)}', file=output) def main(argv): |