summaryrefslogtreecommitdiff
path: root/repo/www
diff options
context:
space:
mode:
authorKévin Le Gouguec <kevin.legouguec@gmail.com>2020-04-12 23:11:33 +0200
committerKévin Le Gouguec <kevin.legouguec@gmail.com>2020-04-12 23:11:33 +0200
commit965c995901e38e43b2ef4e7df1735c50c8db7996 (patch)
tree4368cb0001a0cd26ccd6bb3cde463363119dfaea /repo/www
parent12e18454ba07c3b7747f8b868f6830f05de149c4 (diff)
downloadmemory-leaks-965c995901e38e43b2ef4e7df1735c50c8db7996.tar.xz
Refactor index generation slightly
Diffstat (limited to 'repo/www')
-rwxr-xr-xrepo/www/generate-index.py14
1 files changed, 5 insertions, 9 deletions
diff --git a/repo/www/generate-index.py b/repo/www/generate-index.py
index d28c6a6..acbeb52 100755
--- a/repo/www/generate-index.py
+++ b/repo/www/generate-index.py
@@ -30,12 +30,7 @@ def list_files(tree_file, folder):
return directories[folder].subfolders, directories[folder].files
-def generate_index_page(title, directories, files, intro_file):
- intro_text = ''
- if intro_file is not None:
- with open(intro_file) as intro:
- intro_text = intro.read()
-
+def generate_index_page(title, directories, files, intro_text):
dir_list = '\n'.join(
f'- [{d}/]({d}/index.html)' for d in directories
)
@@ -65,21 +60,22 @@ def main(arguments):
folders, files = list_files(arguments.site_tree, target)
names = []
- intro = None
+ intro_text = ''
repo = Repo(search_parent_directories=True)
for f in files:
name, _ = path.splitext(f)
if name == 'README':
- intro = path.join(repo.working_dir, target, f)
+ with open(path.join(repo.working_dir, target, f)) as intro:
+ intro_text = intro.read()
else:
names.append(name)
title = path.basename(target) if target else 'index'
convert_page(
- generate_index_page(title, folders, names, intro),
+ generate_index_page(title, folders, names, intro_text),
arguments.output
)