From 8a30adf1f23fcd6e2010e7787f43488c4a6743f1 Mon Sep 17 00:00:00 2001
From: Niklas Fasching <niklas.fasching@gmail.com>
Date: Tue, 11 Dec 2018 20:51:45 +0100
Subject: [PATCH] Add naive html escaping to generate-gh-pages

without this the raw html from the org source (e.g. from a #+HTML: ... keyword)
is not visible as text but rendered as html
---
 etc/generate-gh-pages | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/etc/generate-gh-pages b/etc/generate-gh-pages
index 4f33ff3..b0cadaf 100755
--- a/etc/generate-gh-pages
+++ b/etc/generate-gh-pages
@@ -21,7 +21,7 @@ for org_file in $org_files; do
     content+="
       <h2><a id='${name}' href='#toc-${name}'>${name}</a></h2>
       <div class='source'>
-        <pre class='org'>$(cat $org_file)</pre>
+        <pre class='org'>$(sed 's/&/\&amp;/g; s/</\&lt;/g; s/>/\&gt;/g;' $org_file)</pre>
         <div class='html'>$(./go-org $org_file html-chroma)</div>
       </div>"
 done