From 296eef01bb36d7d74db834dab38f7f7089f4f42b Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Sun, 24 May 2020 12:21:23 +0200
Subject: Changelog entries for the 8.12 changes to the reference manual.

---
 doc/sphinx/language/core/basic.rst | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'doc/sphinx/language/core/basic.rst')

diff --git a/doc/sphinx/language/core/basic.rst b/doc/sphinx/language/core/basic.rst
index 68900aa0be..8918e87180 100644
--- a/doc/sphinx/language/core/basic.rst
+++ b/doc/sphinx/language/core/basic.rst
@@ -15,6 +15,8 @@ settings that |Coq| provides.
 Syntax and lexical conventions
 ------------------------------
 
+.. _syntax-conventions:
+
 Syntax conventions
 ~~~~~~~~~~~~~~~~~~
 
-- 
cgit v1.2.3