From efd10a40347e2f84988ce5421909f79ed01750ce Mon Sep 17 00:00:00 2001 From: Xavier Leroy Date: Wed, 30 May 2018 14:45:37 +0200 Subject: coq2html: use OCaml's alternate string literals for multi-line strings --- doc/coq2html.mll | 30 +++++++++++++++--------------- 1 file changed, 15 insertions(+), 15 deletions(-) (limited to 'doc') diff --git a/doc/coq2html.mll b/doc/coq2html.mll index a5b284e2..cdc844dc 100644 --- a/doc/coq2html.mll +++ b/doc/coq2html.mll @@ -234,30 +234,30 @@ let end_proof kwd = in_proof := false let start_html_page modname = - fprintf !oc "\ - - + fprintf !oc +{| + - + Module %s - - - + + + - -

Module %s

-" modname modname modname + +

Module %s

+|} modname modname modname let end_html_page () = - fprintf !oc "\ -

- + fprintf !oc +{|

+ -" +|} } -- cgit