Re: User manual broken

Simon Peyton Jones via ghc-devs writes:

I’m getting tons of this stuff from the user manual type setting. Might someone fix it?

Hmm, I've tried a few environments and have so far been unable to reproduce this. what version of sphinx-build are you using (e.g. sphinx-build --version)? Cheers, - Ben