From b8cfa1d9af4c032d9e69c6b264a53452d1e90247 Mon Sep 17 00:00:00 2001
From: Dimitri Merejkowsky <d.merej@gmail.com>
Date: Sat, 24 Nov 2018 17:34:25 +0100
Subject: [PATCH] Add release script

---
 sessions/release.sh | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100755 sessions/release.sh

diff --git a/sessions/release.sh b/sessions/release.sh
new file mode 100755
index 0000000..c3b966c
--- /dev/null
+++ b/sessions/release.sh
@@ -0,0 +1,12 @@
+#!/bin/zsh
+
+set -e
+
+if [[ -z $1 ]]; then
+  echo "Usage: build.sh NUMBER"
+  exit 1
+fi
+
+
+darkslide --linenos=no "${1}.md" --embed --destination "${1}.html"
+prince "${1}.html" -o "${1}.pdf"