Re: Style or bug in user manual?

Thanks! I fixed it. On 22 August 2016 at 21:29, Ben Gamari wrote:

Harendra Kumar 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/conf.py. Perhaps you could open a ticket (and of course feel free to take a stab at a solution)?

Cheers,

- Ben