This looks like it's double counting MS-style newlines, am I wrong?
https://github.com/coq/coq/blob/55f4095fe3c366a9f310584a55e2dc0605e5409c/tools/coqdoc/cpretty.mll#L35-L43
No clue but seems like it should be s.[i+1] != '\n' ? (Sorry for my bad OCaml)
*not sure, I guess
:/ you're right, it should be <> '\n'
Last updated: Nov 29 2023 at 06:01 UTC