From fb9b5c392672eebf97451802ee292505b4c46fec Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Thu, 27 Feb 2020 19:15:41 +0100
Subject: Fix #11696: link from refman to stdlib doc is dead.

---
 doc/sphinx/language/coq-library.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc')

diff --git a/doc/sphinx/language/coq-library.rst b/doc/sphinx/language/coq-library.rst
index 80f209fcf1..39f2ccec29 100644
--- a/doc/sphinx/language/coq-library.rst
+++ b/doc/sphinx/language/coq-library.rst
@@ -23,7 +23,7 @@ These libraries and developments are available
 for download at http://coq.inria.fr (see :ref:`userscontributions`).
 
 This chapter briefly reviews the |Coq| libraries whose contents can
-also be browsed at http://coq.inria.fr/stdlib.
+also be browsed at http://coq.inria.fr/stdlib/.
 
 
 
-- 
cgit v1.2.3