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/practical-tools/coqide.rst | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'doc/sphinx/practical-tools')

diff --git a/doc/sphinx/practical-tools/coqide.rst b/doc/sphinx/practical-tools/coqide.rst
index 97d86943fb..6cbd00f45d 100644
--- a/doc/sphinx/practical-tools/coqide.rst
+++ b/doc/sphinx/practical-tools/coqide.rst
@@ -252,6 +252,8 @@ use antialiased fonts or not, by setting the environment variable
 `GDK_USE_XFT` to 1 or 0 respectively.
 
 
+.. _coqide-unicode:
+
 Bindings for input of Unicode symbols
 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 
-- 
cgit v1.2.3