From 76d11a2aa8fccff1bc9b661adc379ddbf9607cdd Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Hugo=20H=C3=B6rnquist?= <hugo@lysator.liu.se>
Date: Sat, 1 Jul 2023 18:36:58 +0200
Subject: [PATCH] Better title on module index.

---
 muppet/output.py            | 1 +
 templates/module_index.html | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/muppet/output.py b/muppet/output.py
index 20ffd43..e4069ab 100644
--- a/muppet/output.py
+++ b/muppet/output.py
@@ -256,6 +256,7 @@ def setup_module_index(*,
 
     with open(os.path.join(base, 'index.html'), 'w') as f:
         f.write(template.render(module_name=module.name,
+                                module_author=module.metadata['author'],
                                 breadcrumbs=crumbs,
                                 content=content,
                                 path_base=path_base,
diff --git a/templates/module_index.html b/templates/module_index.html
index f638e8c..e8a74db 100644
--- a/templates/module_index.html
+++ b/templates/module_index.html
@@ -8,7 +8,7 @@ Parameters:
 #}
 {% extends "base.html" %}
 {% block content %}
-<h1>{{ module_name }}</h1>
+<h1>{{ module_author }} / {{ module_name.title() }}</h1>
 
 <ul>
 	{% for name, path in doc_files %}
-- 
GitLab