[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH 2/3] docs: build a global index page
From: |
Peter Maydell |
Subject: |
Re: [PATCH 2/3] docs: build a global index page |
Date: |
Fri, 15 Nov 2019 14:23:48 +0000 |
On Fri, 8 Nov 2019 at 11:39, Stefan Hajnoczi <address@hidden> wrote:
> You are right:
> * The hidden documents are included in the navigation bar (different
> from the table of contents).
> * The search index (which install-doc omits!) includes content from
> the hidden documents.
What is install-doc failing to install? I just did a test
'make install' into a tempdir, and the search seems to work
in that set of installed docs.
thanks
-- PMM