search

LexiFi / menhir

Other
13 stars 3 forks source link

Missing `~` in menhir manual #1

Open tjdevries opened 4 months ago

tjdevries commented 4 months ago

If you look at the generated HTML here: https://gallium.inria.fr/~fpottier/menhir/manual.html

You'll notice that there are no ~ being generated. Instead, it looks like they generate a non breaking space for some reason? I don't know why.

image

Thanks, menhir is very cool :)

nojb commented 4 months ago

Hello, note that this is a fork of the Menhir repository, which is developed over at https://gitlab.inria.fr/fpottier/menhir. I suggest you file your issue over there. Thanks!