Add script to build the docs

spyder-ide · Aug 26, 2020 · 68c187d · 68c187d
1 parent 0e8391d
commit 68c187d
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/ci/build.sh b/ci/build.sh
@@ -0,0 +1,4 @@
+#!/bin/bash -ex
+
+.install.sh
+make docs