From 11b2ab58b5e5540bf7d0d3cd188899267766e5b6 Mon Sep 17 00:00:00 2001
From: Lysxia
Date: Mon, 20 Apr 2020 13:22:16 -0400
Subject: coqdoc: Replace deprecated HTML attribute name with id

---
 tools/coqdoc/output.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'tools')

diff --git a/tools/coqdoc/output.ml b/tools/coqdoc/output.ml
index d6f51d7b78..def1cbbcf8 100644
--- a/tools/coqdoc/output.ml
+++ b/tools/coqdoc/output.ml
@@ -821,7 +821,7 @@ module Html = struct
      | Some n -> if lev <= n then add_toc_entry (Toc_section (lev, f, r))
                    else ());
     stop_item ();
-    printf "<a name=\"%s\"></a><h%d class=\"section\">" lab lev;
+    printf "<a id=\"%s\"></a><h%d class=\"section\">" lab lev;
     f ();
     printf "</h%d>\n" lev
 
@@ -835,7 +835,7 @@ module Html = struct
   let letter_index category idx (c,l) =
     if l <> [] then begin
       let cat = if category && idx <> "global" then "(" ^ idx ^ ")" else "" in
-      printf "<a name=\"%s_%c\"></a><h2>%s %s</h2>\n" idx c (display_letter c) cat;
+      printf "<a id=\"%s_%c\"></a><h2>%s %s</h2>\n" idx c (display_letter c) cat;
       List.iter
         (fun (id,(text,link,t)) ->
            let id' = prepare_entry id t in
-- 
cgit v1.2.3