Minor changes.

muppet/__main__.py

@@ -324,14 +324,16 @@ def setup_module(base: str, module: ModuleEntry) -> None:
         # puppet_class['docstring']
         # puppet_class['defaults']
 
-        with open(os.path.join(dir, 'source.pp'), 'w') as f:
+        # TODO option to add .txt extension (for web serverse which
+        # treat .pp as application/binary)
+        with open(os.path.join(dir, 'source.pp.txt'), 'w') as f:
             f.write(puppet_class['source'])
 
         with open(os.path.join(dir, 'source.json'), 'w') as f:
             json.dump(puppet_class, f, indent=2)
 
-        with open(os.path.join(dir, 'source.pp.html'), 'w') as f:
-            f.write(format_class(puppet_class))
+        # with open(os.path.join(dir, 'source.pp.html'), 'w') as f:
+        #     f.write(format_class(puppet_class))
 
         with open(os.path.join(dir, 'index.html'), 'w') as f:
             template = jinja.get_template('code_page.html')

templates/code_page.html

 {% extends "base.html" %}
 {% block content %}
+	<ul>
+		<li><a href="source.pp.txt">Raw Source code</a></li>
+		<li><a href="source.json">JSON blob</a></li>
+	</ul>
 {{ content }}
 {% endblock %}
 {# ft: jinja #}