Commit db07a258 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Make the output of why3doc compliant with html 4.

parent e3b1bc4d
......@@ -266,11 +266,11 @@ and skip_comment = parse
lb.Lexing.lex_curr_p <-
{ lb.Lexing.lex_curr_p with Lexing.pos_fname = fname };
(* output *)
fprintf fmt "<span class=\"why3doc\">@\n";
fprintf fmt "<div class=\"why3doc\">@\n";
fprintf fmt "<pre>@\n";
scan fmt lb;
fprintf fmt "</pre>@\n";
fprintf fmt "</span>@\n";
fprintf fmt "</div>@\n";
close_in cin
let extract_header fname =
......
......@@ -112,7 +112,7 @@ let () =
let c = open_out fhtml in
let fmt = formatter_of_out_channel c in
if not !opt_body then Doc_html.print_header fmt ~title ~css ();
fprintf fmt "<span class=\"why3doc\">@\n";
fprintf fmt "<div class=\"why3doc\">@\n";
fprintf fmt "<h1>%s</h1>@\n" title;
fprintf fmt "<ul>@\n";
let add fn =
......@@ -124,7 +124,7 @@ let () =
in
Queue.iter add opt_queue;
fprintf fmt "</ul>@\n";
fprintf fmt "</span>@\n";
fprintf fmt "</div>@\n";
if not !opt_body then Doc_html.print_footer fmt ();
close_out c
end
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment