diff options
Diffstat (limited to 'repo')
| -rwxr-xr-x | repo/www/generate-index.py | 14 |
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 ) |