You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
this is related to this Hevea issue: maranget/hevea#62
I thought it was fixed. Do you know which version of Hevea was used to generate this version of the manual?
The metadata of the page html shows 2.35 (<meta name="generator" content="hevea 2.35">).
Your fix in heave is in dev.
so maybe we can wait for the hevea's next release?
It looks like a rendering artifact in several sections e.g. here (the table of the required) and here (to reduce the runtime overhead)
The space is in the html output for the 1st item e.g.
" to reduce the runtime overhead ..."
.The space is uniform for all the items in the manual source, e.g. see here
ocaml/manual/src/cmds/flambda.etex
Line 528 in 3eb0ab0
The text was updated successfully, but these errors were encountered: