Turn READMEs into HTML indices

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):