diff options
| author | Kévin Le Gouguec <kevin.legouguec@gmail.com> | 2020-03-14 15:38:30 +0100 |
|---|---|---|
| committer | Kévin Le Gouguec <kevin.legouguec@gmail.com> | 2020-03-14 15:38:30 +0100 |
| commit | 159c94c4c142d13c033b631cc75ab4d7d4101d58 (patch) | |
| tree | 6c00550889c6db247e78927bac4224d35542613a /repo/www/make-deps.py | |
| parent | 63fe3bafdd43c21987d90c299854dd0fa5ba1f2d (diff) | |
| download | memory-leaks-159c94c4c142d13c033b631cc75ab4d7d4101d58.tar.xz | |
Let Makefile compute page folders
Since it already computes the list of pages.
I'm not comfortable with the pattern substitution, the implicit "slash
management" is not obvious.
Diffstat (limited to 'repo/www/make-deps.py')
| -rwxr-xr-x | repo/www/make-deps.py | 3 |
1 files changed, 0 insertions, 3 deletions
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): |