From 3c0b2cfa50eb788e6afd1ded52e45f5549e887a0 Mon Sep 17 00:00:00 2001
From: Jeppe Klitgaard <jeppe@dapj.dk>
Date: Wed, 1 Apr 2015 20:58:51 +0200
Subject: [PATCH] Added build_docs to bin

---
 bin/build_docs | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 bin/build_docs

diff --git a/bin/build_docs b/bin/build_docs
new file mode 100644
index 0000000..596972b
--- /dev/null
+++ b/bin/build_docs
@@ -0,0 +1,7 @@
+#!/bin/bash
+
+set -e 
+cd docs
+rm -rf _build*
+make html
+cd ..