From a5e2c659ea31a86b4789c9094f771d960187bf5c Mon Sep 17 00:00:00 2001
From: affeldt-aist <33154536+affeldt-aist@users.noreply.github.com>
Date: Mon, 2 Oct 2023 19:16:31 +0900
Subject: [PATCH] add link to coqdoc (#1034)

* add link to coqdoc
---
 README.md | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 44f78c9a6..f1904903d 100644
--- 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).