From 2dbc0f240a861870c5d59e35749b446b0fe824bf Mon Sep 17 00:00:00 2001
From: Matthieu Sozeau
Date: Tue, 1 Dec 2020 14:51:15 +0100
Subject: Add an anchor in syntax-extensions

---
 doc/sphinx/user-extensions/syntax-extensions.rst | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'doc')

diff --git a/doc/sphinx/user-extensions/syntax-extensions.rst b/doc/sphinx/user-extensions/syntax-extensions.rst
index df73de846f..64deb692fd 100644
--- a/doc/sphinx/user-extensions/syntax-extensions.rst
+++ b/doc/sphinx/user-extensions/syntax-extensions.rst
@@ -588,6 +588,8 @@ As an exception, if the right-hand side is just of the form
 :n:`@@qualid`, this conventionally stops the inheritance of implicit
 arguments (but not of notation scopes).
 
+.. _notations-and-binders:
+
 Notations and binders
 ~~~~~~~~~~~~~~~~~~~~~
 
-- 
cgit v1.2.3