why3doc: index file in why3doc span

parent 184f6472
......@@ -112,6 +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 "<h1>%s</h1>@\n" title;
fprintf fmt "<ul>@\n";
let add fn =
......@@ -123,6 +124,7 @@ let () =
Queue.iter add opt_queue;
fprintf fmt "</ul>@\n";
fprintf fmt "</span>@\n";
if not !opt_body then Doc_html.print_footer fmt ();
close_out c
Markdown is supported
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment