[Qemu-devel] [PULL 0/4] docs queue

[Peter Maydell]

I thought I'd put together a pullreq with some of the sphinx docs
patches I've sent out recently, since they don't really have an
obvious more sensible route to go through.

thanks
-- PMM

The following changes since commit 5d0e5694470d2952b4f257bc985cac8c89b4fd92:

  Merge remote-tracking branch 'remotes/mst/tags/for_upstream' into staging 
(2019-06-17 11:55:14 +0100)

are available in the Git repository at:

  https://git.linaro.org/people/pmaydell/qemu-arm.git tags/pull-docs-20190617

for you to fetch changes up to 0783a732f9ee2de28dc722d6cd87f04b2f264a48:

  docs: Build and install specs manual (2019-06-17 15:35:31 +0100)

----------------------------------------------------------------
docs infrastructure queue:
 * fix some minor syntax issues in docs/specs/index.rst
 * build and install the 'specs' manual, since it now has some content
 * delete the "QEMU compared to other emulators" section of the docs
 * Convert "translator internals" docs to RST, move to devel manual

----------------------------------------------------------------
Peter Maydell (4):
      Convert "translator internals" docs to RST, move to devel manual
      qemu-tech.texi: Remove "QEMU compared to other emulators" section
      docs/specs/index.rst: Fix minor syntax issues
      docs: Build and install specs manual

 Makefile             |   7 +-
 docs/devel/index.rst |   1 +
 docs/devel/tcg.rst   | 111 +++++++++++++++++++++++++++
 docs/specs/conf.py   |  16 ++++
 docs/specs/index.rst |   9 ++-
 qemu-tech.texi       | 210 ---------------------------------------------------
 6 files changed, 139 insertions(+), 215 deletions(-)
 create mode 100644 docs/devel/tcg.rst
 create mode 100644 docs/specs/conf.py