Make markdown sources available for issues.

1 files changed, 8 insertions, 0 deletions

diff --git a/tools/md-wrapper.py b/tools/md-wrapper.py
index ecaff4a..fda2c48 100755
--- a/tools/md-wrapper.py
+++ b/tools/md-wrapper.py
@@ -97,6 +97,14 @@ if "format" in vars and vars["format"] != "markdown":
  vars["content"] = '<pre class=\"proposal\">\n' + html.escape(text) + "</pre>\n"
 else:
  vars["content"] = markdown.markdown(text, extensions = ['tables'])
+ if dest_file.endswith(".html"):
+ md_file = dest_file.replace(".html", ".txt")
+ with open(md_file, 'w', encoding="utf-8") as f:
+ if "title" in tmpl_vars:
+ f.write("# " + tmpl_vars["title"] + "\n\n")
+ f.write(text)
+ md_link = os.path.relpath(md_file, dest_dir)
+ vars["mdsource"] = f'<div class="mdsource"><a href="{md_link}" >View Markdown Source</a></div>'
 
 # Substitution function for replacing template variables.
 # Treats "{{@filename}}" as an include.