From 2ecec19501ebc3c98033fe1f212e85731473e2c7 Mon Sep 17 00:00:00 2001
From: Lysxia
Date: Fri, 29 Jun 2018 21:17:32 -0400
Subject: doc: typesetting and hyperlinks in Syntax Extensions

---
 doc/sphinx/language/gallina-specification-language.rst | 1 +
 1 file changed, 1 insertion(+)

(limited to 'doc/sphinx/language')

diff --git a/doc/sphinx/language/gallina-specification-language.rst b/doc/sphinx/language/gallina-specification-language.rst
index c26ae2a93b..ec99ccbeea 100644
--- a/doc/sphinx/language/gallina-specification-language.rst
+++ b/doc/sphinx/language/gallina-specification-language.rst
@@ -38,6 +38,7 @@ At the end, the notation “``[entry sep … sep entry]``” stands for a
 possibly empty sequence of expressions parsed by the “``entry``” entry,
 separated by the literal “``sep``”.
 
+.. _lexical-conventions:
 
 Lexical conventions
 ===================
-- 
cgit v1.2.3