Re: [PATCH 2/3] docs: Create stub system manual

[Peter Maydell]

On Wed, 22 Jan 2020 at 18:58, Alex Bennée <address@hidden> wrote:
> Peter Maydell <address@hidden> writes:
> > diff --git a/docs/index.html.in b/docs/index.html.in
> > index 94eb782cf7e..573c543c02b 100644
> > --- a/docs/index.html.in
> > +++ b/docs/index.html.in
> > @@ -11,6 +11,7 @@
> >              <li><a href="qemu-qmp-ref.html">QMP Reference Manual</a></li>
> >              <li><a href="qemu-ga-ref.html">Guest Agent Protocol
> > Reference</a></li>
> >              <li><a href="interop/index.html">System Emulation
> > Management and Interoperability Guide</a></li>
> > +            <li><a href="system/index.html">System Emulation User's
> > Guide</a></li>
> >              <li><a href="specs/index.html">System Emulation Guest
> > Hardware Specifications</a></li>
> >          </ul>
> >      </body>
>
>
> This didn't seem to make a difference on readthedocs so I assume this is
> for different tooling?

It's for when you build manuals via the makefile, in which
case you get multiple separate Sphinx manuals and want a
top level index that links to those and also to our legacy
non-Sphinx docs. So it's what you'll see in the installed
version of the docs if you do a 'make install'.

thanks
-- PMM