Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0006341OCamlOCamldocpublic2014-03-06 16:442014-09-15 12:27
Reporterdra 
Assigned Toguesdon 
PrioritynormalSeverityminorReproducibilityalways
StatusassignedResolutionopen 
PlatformOSOS Version
Product Version4.01.0 
Target Version4.02.2+devFixed in Version 
Summary0006341: -colorize-code causes unnecessary < br> tags to be added to < pre> blocks
Descriptionocamldoc adds < br> tags to the ends of lines within {[ ... ]} blocks which has the effect of inserting a blank line between each line of code. The < br> tags are not necessary within the < pre> used for formatting code.
Steps To ReproduceCreate the file Broken.mli (with Unix line-endings, or it is compounded by PR#6340) and run ocamldoc -html -stars -colorize-code Broken.mli

(**
 * This will be broken by ocamldoc.
 * It seems unable to cope with DOS line endings.
 * {[let foo = "bar"
 *in
 * "fu" ^ foo]}
 *)

val foo : unit
Additional InformationRelevant output of ocamldoc 4.01.0. All the < br> tags are unnecessary (and mangle the visual output):

 < pre class="codepre">< code class="code">< span class="keyword">let< /span> foo = < span class="string">"bar"< /span>< br>
 < span class="keyword">in< /span>< br>
   < span class="string">"fu"< /span> ^ foo< /code>< /pre>< br>

There are lots of other instances of < br> being added where it shouldn't (e.g. just before < /div> in the member lists).
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0011009)
dra (reporter)
2014-03-06 16:45
edited on: 2014-05-16 21:10

OK, Mantis ate my HTML in the Additional information section. The actual output of ocamldoc includes a < br> tag at the end of each line.

(0011010)
dra (reporter)
2014-03-06 16:45

Oh, ffs: a < br > tag!!
(0011505)
doligez (administrator)
2014-05-16 21:11

Couldn't find a way to quote an HTML tag for Mantis, so I inserted spaces to make your report readable.

- Issue History
Date Modified Username Field Change
2014-03-06 16:44 dra New Issue
2014-03-06 16:44 dra Status new => assigned
2014-03-06 16:44 dra Assigned To => guesdon
2014-03-06 16:45 dra Note Added: 0011009
2014-03-06 16:45 dra Note Added: 0011010
2014-05-16 21:08 doligez Description Updated View Revisions
2014-05-16 21:08 doligez Additional Information Updated View Revisions
2014-05-16 21:08 doligez Summary -colorize-code causes unnecessary
tags to be added to
 blocks => -colorize-code causes unnecessary 
tags to be added to
 blocks	
2014-05-16 21:08 doligez Description Updated View Revisions
2014-05-16 21:08 doligez Additional Information Updated View Revisions
2014-05-16 21:08 doligez Summary -colorize-code causes unnecessary
tags to be added to
 blocks => -colorize-code causes unnecessary &lt;br> tags to be added to 
 blocks	
2014-05-16 21:09 doligez Summary -colorize-code causes unnecessary &lt;br> tags to be added to
 blocks => -colorize-code causes unnecessary 
tags to be added to
 blocks	
2014-05-16 21:10 doligez Summary -colorize-code causes unnecessary
tags to be added to
 blocks => -colorize-code causes unnecessary < br> tags to be added to < pre> blocks	
2014-05-16 21:10 doligez Description Updated View Revisions
2014-05-16 21:10 doligez Additional Information Updated View Revisions
2014-05-16 21:10 doligez Note Edited: 0011009 View Revisions
2014-05-16 21:11 doligez Note Added: 0011505
2014-07-16 18:20 doligez Target Version => 4.02.1+dev
2014-09-04 00:25 doligez Target Version 4.02.1+dev => undecided
2014-09-15 12:27 doligez Target Version undecided => 4.02.2+dev


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker