Re: User manual broken

2016-12-22 Thread Ben Gamari
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.

Re: User manual broken

2016-12-22 Thread Ben Gamari
Simon Peyton Jones via ghc-devs writes: > I’m getting tons of this stuff from the user manual type setting. Might > someone fix it? Yes, I'm on it. Cheers, - Ben signature.asc Description: PGP signature ___ ghc-devs mailing

User manual broken

2016-12-22 Thread Simon Peyton Jones via ghc-devs
I’m getting tons of this stuff from the user manual type setting. Might someone fix it? Simon /5playpen/simonpj/HEAD-4/docs/users_guide/8.0.2-notes.rst:162: WARNING: Inline interpreted text or phrase reference start-string without end-string.