From 9fc3231cfe8da49a546fd0595128e13d5db72dfd Mon Sep 17 00:00:00 2001
From: Maxence Guesdon <maxence.guesdon@inria.fr>
Date: Aug 27 2012 11:43:36 +0000
Subject: PR#5725: add pre tag also for -colorize-code


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12885 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

---

diff --git a/ocamldoc/odoc_html.ml b/ocamldoc/odoc_html.ml
index 784913e..a211d30 100644
--- a/ocamldoc/odoc_html.ml
+++ b/ocamldoc/odoc_html.ml
@@ -336,7 +336,11 @@ class virtual text =
         in
         fun b s ->
       if !colorize_code then
-         self#html_of_code b (remove_useless_newlines s)
+          (
+           bs b "<pre class=\"codepre\">";
+           self#html_of_code b (remove_useless_newlines s);
+           bs b "</pre>"
+          )
       else
         (
          bs b "<pre class=\"codepre\"><code class=\"";