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

[Peter Maydell]

On Mon, 17 Jun 2019 at 15:57, Peter Maydell <address@hidden> wrote:
>
> 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
>
> ----------------------------------------------------------------


Applied, thanks.

Please update the changelog at https://wiki.qemu.org/ChangeLog/4.1
for any user-visible changes.

-- PMM