build scriptlet

5 years ago · d3edd008b3
parent 8bbf8465f7
commit d3edd008b3
1 changed files with 8 additions and 0 deletions
--- a/build.sh
+++ b/build.sh
@ -0,0 +1,8 @@
+#!/bin/bash
+
+set -x
+
+cd docs
+
+./build.sh
+