Re: [PATCH] doc/sphinx/hxtool.py: add optional label argument to SRST directive

2024-01-27 Thread Peter Maydell
On Sat, 27 Jan 2024 at 10:16, David Woodhouse wrote: > > On Tue, 2023-12-12 at 15:04 +, Peter Maydell wrote: > > > > > --- a/docs/system/i386/xen.rst > > > +++ b/docs/system/i386/xen.rst > > > @@ -132,7 +132,7 @@ The example above provides the guest kernel command > > > line after a

Re: [PATCH] doc/sphinx/hxtool.py: add optional label argument to SRST directive

2024-01-27 Thread David Woodhouse
On Tue, 2023-12-12 at 15:04 +, Peter Maydell wrote: > > > --- a/docs/system/i386/xen.rst > > +++ b/docs/system/i386/xen.rst > > @@ -132,7 +132,7 @@ The example above provides the guest kernel command > > line after a separator > >   (" ``--`` ") on the Xen command line, and does not provide

Re: [PATCH] doc/sphinx/hxtool.py: add optional label argument to SRST directive

2024-01-26 Thread David Woodhouse
On Tue, 2023-12-12 at 15:04 +, Peter Maydell wrote: > On Thu, 9 Nov 2023 at 10:33, Woodhouse, David wrote: > > > > We can't just embed labels directly into files like qemu-options.hx which > > are included from multiple top-level RST files, because Sphinx sees the > > labels as duplicate:

Re: [PATCH] doc/sphinx/hxtool.py: add optional label argument to SRST directive

2023-12-12 Thread Peter Maydell
On Thu, 9 Nov 2023 at 10:33, Woodhouse, David wrote: > > We can't just embed labels directly into files like qemu-options.hx which > are included from multiple top-level RST files, because Sphinx sees the > labels as duplicate: https://github.com/sphinx-doc/sphinx/issues/9707 > > So add an

[PATCH] doc/sphinx/hxtool.py: add optional label argument to SRST directive

2023-11-09 Thread Woodhouse, David
We can't just embed labels directly into files like qemu-options.hx which are included from multiple top-level RST files, because Sphinx sees the labels as duplicate: https://github.com/sphinx-doc/sphinx/issues/9707 So add an 'emitrefs' option to the Sphinx hxtool-doc directive, which is set only