From 2f0a89e59e615e6101096b36e12e7b7bbace8eff Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Sat, 23 May 2020 12:58:37 +0200
Subject: Release notes for 8.12.

---
 doc/sphinx/using/tools/coqdoc.rst | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

(limited to 'doc/sphinx/using')

diff --git a/doc/sphinx/using/tools/coqdoc.rst b/doc/sphinx/using/tools/coqdoc.rst
index b4b14fb392..f872c1b2e3 100644
--- a/doc/sphinx/using/tools/coqdoc.rst
+++ b/doc/sphinx/using/tools/coqdoc.rst
@@ -220,8 +220,10 @@ Identifiers from the |Coq| standard library are linked to the Coq website
 using command line options ``--no-externals`` and ``--coqlib``; see below.
 
 
-Hiding / Showing parts of the source.
-+++++++++++++++++++++++++++++++++++++
+.. _coqdoc-hide-show:
+
+Hiding / Showing parts of the source
+++++++++++++++++++++++++++++++++++++
 
 Some parts of the source can be hidden using command line options ``-g``
 and ``-l`` (see below), or using such comments:
-- 
cgit v1.2.3