Style or bug in user manual?

Ben Gamari ben at
Mon Aug 22 15:59:40 UTC 2016

Harendra Kumar <harendra.kumar at> writes:

> I was working to fix some documentation and noticed that the user manual
> lists options like this:
> -package⟨pkg⟩
> Notice that there is no space between the argument and the option. Should
> this be fixed? All options on this page seem to be similarly formatted
> which makes me wonder whether its by design?
Looking at docs/users_guide/packages.rst it appears there are indeed
spaces in the source, which suggests that this is a bug in the parser in
docs/users_guide/ Perhaps you could open a ticket (and of course
feel free to take a stab at a solution)?


- Ben

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 472 bytes
Desc: not available
URL: <>

More information about the ghc-devs mailing list