On Mon, 3 Feb 2020 at 12:38, Peter Maydell <peter.mayd...@linaro.org> wrote: > > On Mon, 3 Feb 2020 at 12:12, Thomas Huth <th...@redhat.com> 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).
There's also a 'Manual' link in the footer thingy on every page which currently goes to https://qemu.weilnetz.de/qemu-doc.html; since we already have a 'Documentation' link to https://www.qemu.org/documentation in the footer, I guess the simplest thing there is to just delete the 'Manual' line. thanks -- PMM
