From 49d4a29c4527868807acf682ea8d2fb4fdbc9c6d Mon Sep 17 00:00:00 2001
From: Justin Hsu <email@justinh.su>
Date: Sun, 27 Oct 2019 21:31:01 -0500
Subject: [PATCH] Don't make check during every deploy.

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

diff --git a/Makefile b/Makefile
index cb3e916..2400d7e 100644
--- a/Makefile
+++ b/Makefile
@@ -10,7 +10,7 @@ preview:
 	$(TOP) rebuild && (cd _site; python -m http.server)
 
 deploy:
-	$(TOP) rebuild && $(TOP) deploy && $(TOP) check
+	$(TOP) rebuild && $(TOP) deploy
 
 install:
 	opam update && opam install bibtex2html