From 68c187d305748bc909595d6630efc955567850f0 Mon Sep 17 00:00:00 2001
From: dalthviz <d.althviz10@uniandes.edu.co>
Date: Tue, 25 Aug 2020 23:06:05 -0500
Subject: [PATCH] Add script to build the docs

---
 ci/build.sh | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 ci/build.sh

diff --git a/ci/build.sh b/ci/build.sh
new file mode 100644
index 000000000..14042bf44
--- /dev/null
+++ b/ci/build.sh
@@ -0,0 +1,4 @@
+#!/bin/bash -ex
+
+.install.sh
+make docs
\ No newline at end of file