From e41be40fb1675311801f8c7f7039a44575a45fff Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Sun, 5 Apr 2020 16:47:01 +0200
Subject: Granting coqdoc wish #7093 (definitions link to themselves).

Co-Authored-By: Xia Li-yao <Lysxia@users.noreply.github.com>
---
 tools/coqdoc/output.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'tools')

diff --git a/tools/coqdoc/output.ml b/tools/coqdoc/output.ml
index 04725aa26f..d6f51d7b78 100644
--- a/tools/coqdoc/output.ml
+++ b/tools/coqdoc/output.ml
@@ -659,7 +659,8 @@ module Html = struct
   let reference s r =
     match r with
     | Def (fullid,ty) ->
-        printf "<a name=\"%s\">" (sanitize_name fullid);
+        let s' = sanitize_name fullid in
+        printf "<a id=\"%s\" class=\"idref\" href=\"#%s\">" s' s';
         printf "<span class=\"id\" title=\"%s\">%s</span></a>" (type_name ty) s
     | Ref (m,fullid,ty) ->
         ident_ref m fullid (type_name ty) s
-- 
cgit v1.2.3