On Fri, 8 Nov 2019 at 11:39, Stefan Hajnoczi <stefa...@gmail.com> 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
