Style or bug in user manual?
ben at smart-cactus.org
Mon Aug 22 15:59:40 UTC 2016
Harendra Kumar <harendra.kumar at gmail.com> writes:
> I was working to fix some documentation and noticed that the user manual
> lists options like this:
> 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/conf.py. Perhaps you could open a ticket (and of course
feel free to take a stab at a solution)?
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 472 bytes
Desc: not available
More information about the ghc-devs