diff options
| author | Lysxia | 2020-04-20 13:22:16 -0400 |
|---|---|---|
| committer | Lysxia | 2020-04-20 13:22:16 -0400 |
| commit | 11b2ab58b5e5540bf7d0d3cd188899267766e5b6 (patch) | |
| tree | f3a37aabc4f9ce0dc7095dea9460b39e9e88abcc | |
| parent | 51a938a260d989f11fb1cd1d7a0205c6183f3809 (diff) | |
coqdoc: Replace deprecated HTML attribute name with id
| -rw-r--r-- | tools/coqdoc/output.ml | 4 |
1 files changed, 2 insertions, 2 deletions
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 |