diff options
| author | Théo Zimmermann | 2020-03-19 15:51:18 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2020-03-19 15:51:27 +0100 |
| commit | 1be31dea4cfd31522898edc07fee0829fea7c68d (patch) | |
| tree | 3bb6df49147fbb96603f950d922d153feccc27d7 /doc/sphinx/appendix | |
| parent | f5be988da566d0a48c67bd81be6d32376b3ba2a5 (diff) | |
Adapt to sub-TOC not showing in PDF output.
Diffstat (limited to 'doc/sphinx/appendix')
| -rw-r--r-- | doc/sphinx/appendix/history-and-changes/index.rst | 15 |
1 files changed, 8 insertions, 7 deletions
diff --git a/doc/sphinx/appendix/history-and-changes/index.rst b/doc/sphinx/appendix/history-and-changes/index.rst index 3535a4d8a7..50ffec8e3f 100644 --- a/doc/sphinx/appendix/history-and-changes/index.rst +++ b/doc/sphinx/appendix/history-and-changes/index.rst @@ -5,13 +5,14 @@ History and recent changes ========================== This chapter is divided in two parts. The first one is about the -early history of Coq and is presented in chronological order. The -second one provides release notes about recent versions of Coq and is -presented in reverse chronological order. When updating your copy of -Coq to a new version (especially a new major version), it is strongly -recommended that you read the corresponding release notes. They may -contain advice that will help you understand the differences with the -previous version and upgrade your projects. +:ref:`early history of Coq <history>` and is presented in +chronological order. The second one provides :ref:`release notes +about recent versions of Coq <changes>` and is presented in reverse +chronological order. When updating your copy of Coq to a new version +(especially a new major version), it is strongly recommended that you +read the corresponding release notes. They may contain advice that +will help you understand the differences with the previous version and +upgrade your projects. .. toctree:: :maxdepth: 1 |