From f9aee7ef230130bc95e899c6ae97e16876c4a8cc Mon Sep 17 00:00:00 2001 From: Dan Frumin Date: Wed, 11 Oct 2017 13:42:20 +0200 Subject: [PATCH] HTML building instructions --- FiniteSets/README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/FiniteSets/README.md b/FiniteSets/README.md index 2889222..49ff5e5 100644 --- a/FiniteSets/README.md +++ b/FiniteSets/README.md @@ -8,5 +8,6 @@ Prerequisites: the [HoTT library](https://github.com/HoTT/HoTT). 1. Generate the Makefile: `coq_makefile -f _CoqProject -o Makefile` 2. Compile the library using make: `make -j 2` +3. The HTML coqdoc can be obtained via `make html` An overview of some of the main results can be found in the file `CPP.v`