1 files changed, 4 insertions, 0 deletions
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