From 890f206ebea4a14f5be8b273cee4ae8f99ca25e1 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Fri, 19 Apr 2019 18:52:26 +0200
Subject: Split changes between main changes and other changes (no repetition).

Add more links to PRs and credits of authors.
---
 doc/sphinx/user-extensions/syntax-extensions.rst | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'doc/sphinx/user-extensions')

diff --git a/doc/sphinx/user-extensions/syntax-extensions.rst b/doc/sphinx/user-extensions/syntax-extensions.rst
index 3ca1dda4d6..ac079ea7d5 100644
--- a/doc/sphinx/user-extensions/syntax-extensions.rst
+++ b/doc/sphinx/user-extensions/syntax-extensions.rst
@@ -1376,6 +1376,8 @@ Abbreviations
    denoted expression is performed at definition time. Type checking is
    done only at the time of use of the abbreviation.
 
+.. _numeral-notations:
+
 Numeral notations
 -----------------
 
-- 
cgit v1.2.3