add link to coqdoc (#1034)

* add link to coqdoc
math-comp · Oct 2, 2023 · a5e2c65 · a5e2c65
1 parent 6f732ca
commit a5e2c65
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/README.md b/README.md
@@ -79,7 +79,8 @@ own risk.
 
 ## Documentation
 
-Each file is documented in its header.
+Each file is documented in its header
+([coqdoc presentation for the last version](https://math-comp.github.io/analysis/htmldoc_0_6_5/index.html)).
 
 Changes are documented in [CHANGELOG.md](CHANGELOG.md) and
 [CHANGELOG_UNRELEASED.md](CHANGELOG_UNRELEASED.md).