diff options
| -rw-r--r-- | doc/sphinx/using/tools/coqdoc.rst (renamed from doc/sphinx/practical-tools/utilities.rst) | 0 | ||||
| -rw-r--r-- | doc/sphinx/using/tools/index.rst | 2 |
2 files changed, 1 insertions, 1 deletions
diff --git a/doc/sphinx/practical-tools/utilities.rst b/doc/sphinx/using/tools/coqdoc.rst index cada680895..cada680895 100644 --- a/doc/sphinx/practical-tools/utilities.rst +++ b/doc/sphinx/using/tools/coqdoc.rst diff --git a/doc/sphinx/using/tools/index.rst b/doc/sphinx/using/tools/index.rst index 4381c4d63d..9472cc165b 100644 --- a/doc/sphinx/using/tools/index.rst +++ b/doc/sphinx/using/tools/index.rst @@ -15,6 +15,6 @@ on the `Coq website <https://coq.inria.fr/user-interfaces.html>`_. :maxdepth: 1 ../../practical-tools/coq-commands - ../../practical-tools/utilities + coqdoc ../../practical-tools/coqide ../../addendum/parallel-proof-processing |