diff options
| author | Théo Zimmermann | 2020-02-27 19:15:41 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2020-02-27 19:15:41 +0100 |
| commit | fb9b5c392672eebf97451802ee292505b4c46fec (patch) | |
| tree | 3be0a5b96dc728e99df12c07e7eff1e6cdf5b7b0 | |
| parent | c160fc0da9bef60c4ee469cc2c35afd83fc16243 (diff) | |
Fix #11696: link from refman to stdlib doc is dead.
| -rw-r--r-- | doc/sphinx/language/coq-library.rst | 2 |
1 files changed, 1 insertions, 1 deletions
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/. |