From bc260cdfa7b309820594b7caf14f62be8343358e Mon Sep 17 00:00:00 2001
From: Ohad Kammar <ohad.kammar@ed.ac.uk>
Date: Sun, 7 Aug 2022 19:08:32 +0100
Subject: Switch to HTML only

---
 doc/Makefile | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'doc/Makefile')

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