Missing ~ in menhir manual

[tjdevries]

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.

Thanks, menhir is very cool :)

[nojb]

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!