From 24e5ad00cc887058e9a92c118b7849aab41043c6 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:31:34 +0200
Subject: [PATCH] Don't render non-markdown files.

---
 muppet/output.py | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/muppet/output.py b/muppet/output.py
index 727fe37..9f7f54f 100644
--- a/muppet/output.py
+++ b/muppet/output.py
@@ -8,6 +8,7 @@ import os
 import os.path
 import pathlib
 import json
+import html
 from .gather import ModuleEntry
 from jinja2 import (
     Environment,
@@ -378,7 +379,11 @@ def setup_module(base: str, module: ModuleEntry, *, path_base: str) -> None:
         pathlib.Path(os.path.join(path, name)).mkdir(exist_ok=True)
         out_path = os.path.join(path, name, 'index.html')
 
-        content = markdown(raw_content)
+        if filename.endswith('.md'):
+            content = markdown(raw_content)
+        else:
+            content = '<pre>' + html.escape(raw_content) + '</pre>'
+
         template = jinja.get_template('content.html')
         crumbs = breadcrumbs(('Environment', ''),
                              module.name,
-- 
GitLab