From 4f4d2a68c58f2e54f0eafc8bc152f2d378eacefd Mon Sep 17 00:00:00 2001
From: Matthieu Sozeau
Date: Mon, 29 Oct 2018 16:07:28 +0100
Subject: Credits for 8.9

Adressed comments by Guillaume and Jason

Updated according to Zimmi48's input.

Better link to custom entries

Fix typesetting
---
 doc/sphinx/user-extensions/syntax-extensions.rst | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(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 705d67e6c6..2214cbfb34 100644
--- a/doc/sphinx/user-extensions/syntax-extensions.rst
+++ b/doc/sphinx/user-extensions/syntax-extensions.rst
@@ -692,6 +692,8 @@ side. E.g.:
    Notation "'apply_id' f a1 .. an" := (.. (f a1) .. an)
      (at level 10, f ident, a1, an at level 9).
 
+.. _custom-entries:
+
 Custom entries
 ~~~~~~~~~~~~~~
 
@@ -1372,11 +1374,11 @@ Abbreviations
    denoted expression is performed at definition time. Type checking is
    done only at the time of use of the abbreviation.
 
-
 Numeral notations
 -----------------
 
 .. cmd:: Numeral Notation @ident__1 @ident__2 @ident__3 : @scope.
+   :name: Numeral Notation
 
   This command allows the user to customize the way numeral literals
   are parsed and printed.
-- 
cgit v1.2.3