diff options
| author | Maxence Guesdon <maxence.guesdon@inria.fr> | 2012-08-27 11:43:36 +0000 |
|---|---|---|
| committer | Maxence Guesdon <maxence.guesdon@inria.fr> | 2012-08-27 11:43:36 +0000 |
| commit | 9fc3231cfe8da49a546fd0595128e13d5db72dfd (patch) | |
| tree | f7074bc7d63190c91e73f28efeb596dc2e8c2fe8 | |
| parent | 43de332b13260f0ef3a859f8a618d74d6fe85fd2 (diff) | |
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
| -rw-r--r-- | ocamldoc/odoc_html.ml | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/ocamldoc/odoc_html.ml b/ocamldoc/odoc_html.ml index 784913e68..a211d3074 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=\""; |