From b5fc7e9e8efc18935d562bd0690c9667fdc8066f Mon Sep 17 00:00:00 2001
From: Lysxia
Date: Sat, 27 Jul 2019 09:11:02 -0400
Subject: [coqdoc] Nest <a> into <h2> instead of the other way around

---
 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 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"
-- 
cgit v1.2.3