Re: [qemu-web PATCH] documentation: update links to readthedocs

[Peter Maydell]

On Mon, 3 Feb 2020 at 12:12, Thomas Huth <address@hidden> wrote:
> Ok. Should we then just remove https://www.qemu.org/documentation/
> completely and make the "Documentation" link in the "menu" point
> directly to https://www.qemu.org/docs/master/ instead?
> We could simply mention the Wiki in docs/index.html.in, too, I think?

I think I'd keep the current documentation/ page for now
(we probably don't want index.html.in to refer to the
developer documentation or the git tree).

thanks
-- PMM