From d3edd008b3c65feda4f7b215dfa5e1214f18fd9f Mon Sep 17 00:00:00 2001
From: Jeff Moe <moe@forksand.com>
Date: Sat, 21 Sep 2019 18:18:21 -0600
Subject: [PATCH] build scriptlet

---
 build.sh | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100755 build.sh

diff --git a/build.sh b/build.sh
new file mode 100755
index 0000000..06f5753
--- /dev/null
+++ b/build.sh
@@ -0,0 +1,8 @@
+#!/bin/bash
+
+set -x
+
+cd docs
+
+./build.sh
+