setting up to have gitlab pages host some content for us

scripts/build-html.sh

@@ -0,0 +1,10 @@
+#!/bin/sh
+
+# Locations of important md files to build
+
+lecture_dirs='311/lec/ 312/ 337/lec/ 363/lec/ 370/notes/ 412/'
+mkdir -p public
+for d in $lecture_dirs;do
+	echo $d;
+	pandoc `ls --sort=version $d` -o "public/$d.html"
+done