diff options
Diffstat (limited to 'repo/www/make-deps.py')
| -rwxr-xr-x | repo/www/make-deps.py | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/repo/www/make-deps.py b/repo/www/make-deps.py index d6720e5..92da680 100755 --- a/repo/www/make-deps.py +++ b/repo/www/make-deps.py @@ -22,8 +22,17 @@ def find_sources(top_dir): def html_path(source_path, top_dir, out_dir): - _, ext = path.splitext(source_path) - return source_path.replace(top_dir, out_dir).replace(ext, '.html') + fname = path.basename(source_path) + dname = path.dirname(source_path) + + name, _ = path.splitext(fname) + + if name == 'README': + name = 'index' + + return path.join( + out_dir, path.relpath(dname, top_dir), f'{name}.html' + ) def write_dependencies(output, sources, top_dir, out_dir): |
