diff options
| author | Lysxia | 2019-07-27 09:11:02 -0400 |
|---|---|---|
| committer | Lysxia | 2019-07-27 09:11:02 -0400 |
| commit | b5fc7e9e8efc18935d562bd0690c9667fdc8066f (patch) | |
| tree | ae2ac34343e6421e7a9632c9ae39e4c7d952d008 /tools | |
| parent | 2e37b4b30d0779dc960db80189e51ecd69f7e45a (diff) | |
[coqdoc] Nest <a> into <h2> instead of the other way around
Diffstat (limited to 'tools')
| -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 02f0290802..13d44d18b9 100644 --- a/tools/coqdoc/output.ml +++ b/tools/coqdoc/output.ml @@ -929,9 +929,9 @@ module Html = struct stop_item (); let ms = match sub with | None -> m | Some s -> m ^ ": " ^ s in if ln = "" then - printf "<a href=\"%s.html\"><h2>%s</h2></a>\n" m ms + printf "<h2><a href=\"%s.html\">%s</a></h2>\n" m ms else - printf "<a href=\"%s.html\"><h2>%s %s</h2></a>\n" m ln ms + printf "<h2><a href=\"%s.html\">%s %s</a></h2>\n" m ln ms | Toc_section (n, f, r) -> item n; printf "<a href=\"%s\">" r; f (); printf "</a>\n" |