From 1744ea100bf9e16cb4b25a6d60b17d6f00aab109 Mon Sep 17 00:00:00 2001
From: Niklas Fasching <niklas.fasching@gmail.com>
Date: Wed, 19 Dec 2018 14:57:31 +0100
Subject: [PATCH] Fix github pages

Oh bash...

Without this links all had the .sections styling and were put on a separate
line.
---
 etc/generate-gh-pages | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/etc/generate-gh-pages b/etc/generate-gh-pages
index 85fd91a..d0abbc3 100755
--- a/etc/generate-gh-pages
+++ b/etc/generate-gh-pages
@@ -1,4 +1,5 @@
 #!/bin/bash
+set -eu
 
 examples_style="
 .source {
@@ -24,7 +25,7 @@ for org_file in $org_files; do
     name=$(basename $org_file)
     go_org_examples+="<li><a id='toc-${name}' href='#${name}'>${name}</a>"
 done
-examples+="</ul><hr>"
+go_org_examples+="</ul><hr>"
 
 for org_file in $org_files; do
     echo generating content for $org_file