Commit 92fd8345 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Fix why3doc output so that documents are not implicitly ended.

parent db07a258
...@@ -22,7 +22,7 @@ let print_header fmt ?(title="") ?css () = ...@@ -22,7 +22,7 @@ let print_header fmt ?(title="") ?css () =
fprintf fmt "</head>@\n<body>@\n" fprintf fmt "</head>@\n<body>@\n"
let print_footer fmt () = let print_footer fmt () =
fprintf fmt "<hr>@\n<p>Generated by why3doc %s</p>@\n</body>@." fprintf fmt "<hr>@\n<p>Generated by why3doc %s</p>@\n</body>@\n</html>@."
Why3.Config.version Why3.Config.version
let style_css fname = let style_css fname =
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