From c1c5fc8e12342a9fe435c8066c8e9316036ff991 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Fri, 25 Feb 2022 13:39:17 +0000
Subject: Add more documentation and add coqdoc stylesheet

---
 Makefile | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 5577ba9..9c40941 100644
--- a/Makefile
+++ b/Makefile
@@ -50,6 +50,10 @@ proof: Makefile.coq
 
 doc: Makefile.coq
 	$(MAKE) COQDOCFLAGS="$(COQDOCFLAGS)" -f Makefile.coq html
+	cp ./docs/res/coqdoc.css html/.
+
+doc-pdf: Makefile.coq
+	$(MAKE) COQDOCFLAGS="$(COQDOCFLAGS)" -f Makefile.coq all.tex
 
 extraction: src/extraction/STAMP
 
-- 
cgit