diff options
| author | Clément Pit-Claudel | 2020-02-29 13:04:59 -0500 |
|---|---|---|
| committer | Clément Pit-Claudel | 2020-02-29 13:04:59 -0500 |
| commit | ed8ac4195c89ee14d03c80e1d9d3f66665573cbf (patch) | |
| tree | aae1024c25c7b5d7ed14348d78e2ef5c45ebb1d6 | |
| parent | 7c1d1a58697486f4f52ac7f45b932d03a7e77e5c (diff) | |
| parent | fb9b5c392672eebf97451802ee292505b4c46fec (diff) | |
Merge PR #11701: Fix #11696: link from refman to stdlib doc is dead.
Reviewed-by: cpitclaudel
| -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/. |