From 4591114ed1d80a49cb39cf40faaeb66ba13f699c Mon Sep 17 00:00:00 2001
From: Roberto Aloi <robertoaloi@users.noreply.github.com>
Date: Fri, 31 Jan 2020 21:54:06 +0100
Subject: [PATCH] [#422] Build edoc

---
 .gitignore | 1 +
 Makefile   | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index 2947cc7e7..c307b3c52 100644
--- a/.gitignore
+++ b/.gitignore
@@ -23,3 +23,4 @@ current_counterexample.eqc
 *.coverdata
 *.log
 *.log.*
+doc
diff --git a/Makefile b/Makefile
index 2426332c0..3d86aedd7 100644
--- a/Makefile
+++ b/Makefile
@@ -5,7 +5,7 @@ all:
 	@ rebar3 escriptize
 
 ci:
-	rebar3 do compile, ct, proper --cover --constraint_tries 100, dialyzer, xref, cover
+	rebar3 do compile, ct, proper --cover --constraint_tries 100, dialyzer, xref, cover, edoc
 
 coveralls:
 	rebar3 coveralls send