diff options
| author | Théo Zimmermann | 2020-03-27 14:11:20 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2020-03-27 14:18:52 +0100 |
| commit | 4da3fe8aafe2d5ceadb505ba16cfbb4482755c61 (patch) | |
| tree | a4017a3e1427c5c0f0b19a40b80927a1f37dd239 | |
| parent | 455445d05c5ae962af61a7a69fc4a9907fb37c06 (diff) | |
Move section on coqdoc to new location.
| -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 |