From 9907fff3139395846490c54fd9f04eb46df4b811 Mon Sep 17 00:00:00 2001
From: Ohad Kammar <ohad.kammar@ed.ac.uk>
Date: Sun, 7 Aug 2022 18:53:02 +0100
Subject: Tweak output files

---
 doc/Makefile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'doc/Makefile')

diff --git a/doc/Makefile b/doc/Makefile
index caaf4af..f180bbf 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -6,7 +6,8 @@ ttms:
 	pack build setoid-doc.ipkg
 
 %.md: .PHONY
-	pack run katla markdown sources/$*.md ./build/ttc/$*.ttm > $*.md
+	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