From 85b191cd3134102c7205c1771806ee16f73b3a89 Mon Sep 17 00:00:00 2001
From: Ohad Kammar <ohad.kammar@ed.ac.uk>
Date: Sun, 7 Aug 2022 23:35:19 +0100
Subject: Write about equivalence relations

---
 doc/Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'doc/Makefile')

diff --git a/doc/Makefile b/doc/Makefile
index ac7e6e3..c50a300 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -6,8 +6,8 @@ ttms:
 	pack build setoid-doc.ipkg
 
 %.html: .PHONY
-	pack run katla markdown --config ./setoid-doc-style.dhall sources/$*.md ./build/ttc/$*.ttm \
-  | pandoc -o $*.html
+	pack run katla markdown --config ./setoid-doc-style.dhall sources/$*.md ./build/ttc/$*.ttm > $*.md
+	pandoc $*.md -o $*.html
 
 install-deps:
 	pack install-deps setoid-doc.ipkg
-- 
cgit v1.2.3