From e790ed3b926739006ea3e1cb0715179f667023b7 Mon Sep 17 00:00:00 2001
From: Michael Reed <michael@michaelreed.io>
Date: Mon, 15 Jun 2020 18:32:06 -0400
Subject: [PATCH] Fail on pandoc warnings

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

diff --git a/Makefile b/Makefile
index dc18f835..32a76996 100644
--- a/Makefile
+++ b/Makefile
@@ -62,6 +62,7 @@ out/plfa.epub: out/ $(AGDA) $(LUA) epub.css fonts/*.ttf
 		--lua-filter check-internal-links.lua \
 		--lua-filter default-code-class.lua -M default-code-class=agda \
 		--standalone \
+		--fail-if-warnings \
 		--toc --toc-depth=2 \
 		--epub-chapter-level=2 \
 		-o "$@" \