search

affeldt-aist / coq2html

An HTML documentation generator for Coq source files
GNU General Public License v2.0
1 stars 3 forks source link

reaching the end of line in a comment creates inconsistent behaviour in the output #32

Open hoheinzollern opened 5 months ago

hoheinzollern commented 5 months ago

See for example this output:

image

The behavior should be consistent, if the headers stick to, e.g., an 80 column limit, then you might have some line ending on last words *) and another line ending in last words *), producing two different line break behaviors.

yoshihiro503 commented 5 months ago

Depending on the markdown specification, two or one space at the end of a line may or may not result in a line break. It seems a bit strange to distort markdown's behavior to conform to the convention of writing comments with an 80-character limit. However, it may be inconvenient for previous users that the difference between *) and *) significantly changes the appearance of the html. I have prepared an execution flag -fragile-mathcomp-break for light users who prefer to see things as they are written: https://github.com/affeldt-aist/coq2html/pull/37

affeldt-aist commented 5 months ago

37 has been merged, @hoheinzollern do you think it solves the issue?

proux01 commented 5 months ago

This is a duplicate of #17 (and I think it could be closed as such), not solved by #37 (c.f. https://github.com/affeldt-aist/coq2html/issues/17#issuecomment-2019934034 )