From d0ea94b4723f520fb99520ec7864ec1ff001a550 Mon Sep 17 00:00:00 2001
From: Lesenechal Remi <lesenechal.remi@gmail.com>
Date: Thu, 26 Dec 2019 14:26:57 +0100
Subject: [PATCH] 'dune runtest' also execute 'md files tests'

---
 src/test/dune | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/test/dune b/src/test/dune
index 9582317c9..9da57c8ef 100644
--- a/src/test/dune
+++ b/src/test/dune
@@ -29,7 +29,7 @@
 
 (alias
   (name runtest)
-  (deps (alias ligo-test))
+  (deps (alias ligo-test) (alias doc-test))
 )
 
 (alias