doc/scripts/hxtool.py: Strip trailing ':' from DEFHEADING/ARCHHEADING
commit705f48cc221fea128abdcc334606931e971229e4
authorPeter Maydell <peter.maydell@linaro.org>
Fri, 28 Feb 2020 15:36:08 +0000 (28 15:36 +0000)
committerPeter Maydell <peter.maydell@linaro.org>
Fri, 6 Mar 2020 10:05:12 +0000 (6 10:05 +0000)
treec62947c859a3ca555191c26841bd225ad52bf26c
parenta12e74cc5236e0ebe06d44e8e159e07c066ba842
doc/scripts/hxtool.py: Strip trailing ':' from DEFHEADING/ARCHHEADING

In hxtool files, section headings defined with the DEFHEADING
and ARCHHEADING macros have a trailing ':'
  DEFHEADING(Standard options:)

This is for the benefit of the --help output. For consistency
with the rest of the rST documentation, strip any trailing ':'
when we construct headings with the Sphinx hxtool extension.
This makes the table of contents look neater.

This only affects generation of documentation from qemu-options.hx,
which we will start doing in a later commit.

Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
Reviewed-by: Alex Bennée <alex.bennee@linaro.org>
Tested-by: Alex Bennée <alex.bennee@linaro.org>
Message-id: 20200228153619.9906-23-peter.maydell@linaro.org
docs/sphinx/hxtool.py