From 76b4c7144e5a93b3bdf3f0e4dd0a1e6cb7965dda Mon Sep 17 00:00:00 2001
From: Wen Kokke <wen.kokke@gmail.com>
Date: Thu, 5 Jul 2018 15:31:29 +0100
Subject: [PATCH] Disabled external links in 'make test'

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index a964ea1d..4a58a833 100644
--- a/Makefile
+++ b/Makefile
@@ -5,7 +5,7 @@ markdown := $(subst src/,out/,$(subst .lagda,.md,$(agda)))
 all: $(markdown)
 
 test: build
-	ruby -S bundle exec htmlproofer _site
+	ruby -S bundle exec htmlproofer _site --disable-external
 
 statistics:
 	hs/agda-count