diff options
| author | Thomas Letan <lthms@soap.coffee> | 2020-12-11 23:18:31 +0100 |
|---|---|---|
| committer | Thomas Letan <lthms@soap.coffee> | 2020-12-11 23:28:02 +0100 |
| commit | 8c07ebb481e6e67cd5cefe6bc5b5d93420e82670 (patch) | |
| tree | 2ffe2820154bc6cd0f8b0d5a1df974a7dca6f8d0 | |
| parent | Kiss goodbye to the blue links (diff) | |
Link to Coq dependencies’ documentation
| -rw-r--r-- | site/cleopatra/coq.org | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/site/cleopatra/coq.org b/site/cleopatra/coq.org index fcbee03..2f9a1d8 100644 --- a/site/cleopatra/coq.org +++ b/site/cleopatra/coq.org @@ -23,7 +23,10 @@ COQLIB := "https://coq.inria.fr/distrib/current/stdlib/" COQCARG := -async-proofs-cache force \ -w -custom-entry-overriden COQDOCARG := --no-index --charset utf8 --short \ - --body-only --coqlib "${COQLIB}" + --body-only --coqlib "${COQLIB}" \ + --external "https://coq-community.org/coq-ext-lib/v0.11.2/" ExtLib \ + --external "https://compcert.org/doc/html" compcert \ + --external "https://lysxia.github.io/coq-simple-io" SimpleIO %.html : %.v coq.mk @cleopatra echo Exporting "$*.v" |