From 1be31dea4cfd31522898edc07fee0829fea7c68d Mon Sep 17 00:00:00 2001 From: Théo Zimmermann Date: Thu, 19 Mar 2020 15:51:18 +0100 Subject: Adapt to sub-TOC not showing in PDF output. --- doc/sphinx/appendix/history-and-changes/index.rst | 15 ++++++++------- 1 file changed, 8 insertions(+), 7 deletions(-) (limited to 'doc/sphinx/appendix') 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 ` and is presented in +chronological order. The second one provides :ref:`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. .. toctree:: :maxdepth: 1 -- cgit v1.2.3