[PATCH 0/7] post-rst-conversion cleanups

[Peter Maydell]

This series has some small cleanups now that the conversion
of qemu-doc to rST has gone into master:
 * reorder the index.html.in/index.rst as it looks a bit odd
   now that qemu-doc.html has gone from the top of the list
 * remove various bits of redundant code, makefile runes, etc
 * update some comments still talking about texi
 * add a missing dependency so that editing the Sphinx
   extension source code triggers a rebuild of the docs

thanks
-- PMM

Peter Maydell (7):
  Makefile: Remove redundant Texinfo related code
  Update comments in .hx files that mention Texinfo
  hxtool: Remove Texinfo generation support
  docs/sphinx/hxtool.py: Remove STEXI/ETEXI support
  Makefile: Make all Sphinx documentation depend on the extensions
  docs/index.rst, docs/index.html.in: Reorder manuals
  docs/qemu-option-trace.rst.inc: Remove redundant comment

 Makefile                       | 14 ++----
 docs/index.html.in             | 10 ++---
 docs/index.rst                 |  8 ++--
 docs/qemu-option-trace.rst.inc |  4 --
 docs/sphinx/hxtool.py          | 28 ++----------
 hmp-commands-info.hx           |  8 ++--
 hmp-commands.hx                |  8 ++--
 qemu-options.hx                |  8 ++--
 scripts/hxtool                 | 78 +---------------------------------
 9 files changed, 29 insertions(+), 137 deletions(-)

-- 
2.20.1