summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorMaxence Guesdon <maxence.guesdon@inria.fr>2012-08-27 11:52:01 +0000
committerMaxence Guesdon <maxence.guesdon@inria.fr>2012-08-27 11:52:01 +0000
commit61789ae70d65dc3502935fe69d59d8b370856e6c (patch)
treea80581e2a93b87446f5d2b9ded54f5a01eecb447
parent9fc3231cfe8da49a546fd0595128e13d5db72dfd (diff)
PR#5111: no more span around hX tags
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12887 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r--ocamldoc/odoc_html.ml6
1 files changed, 2 insertions, 4 deletions
diff --git a/ocamldoc/odoc_html.ml b/ocamldoc/odoc_html.ml
index a211d3074..37fe6b5f9 100644
--- a/ocamldoc/odoc_html.ml
+++ b/ocamldoc/odoc_html.ml
@@ -408,7 +408,6 @@ class virtual text =
method html_of_Title b n label_opt t =
let label1 = self#create_title_label (n, label_opt, t) in
- bp b "<span id=\"%s\">" (Naming.label_target label1);
let (tag_o, tag_c) =
if n > 6 then
(Printf.sprintf "div class=\"h%d\"" n, "div")
@@ -416,13 +415,12 @@ class virtual text =
let t = Printf.sprintf "h%d" n in (t, t)
in
bs b "<";
- bs b tag_o;
+ bp b "%s id=\"%s\"" tag_o (Naming.label_target label1);
bs b ">";
self#html_of_text b t;
bs b "</";
bs b tag_c;
- bs b ">";
- bs b "</span>"
+ bs b ">"
method html_of_Latex b _ = ()
(* don't care about LaTeX stuff in HTML. *)