diff options
Diffstat (limited to 'ocamldoc/odoc_html.ml')
| -rw-r--r-- | ocamldoc/odoc_html.ml | 6 |
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. *) |