On 10/11/2023 11:49 pm, Stefano Stabellini wrote:
> On Fri, 10 Nov 2023, Andrew Cooper wrote:
>> On 10/11/2023 12:07 am, Stefano Stabellini wrote:
>>> On Wed, 8 Nov 2023, Andrew Cooper wrote:
diff --git a/docs/index.rst b/docs/index.rst
index f3f779f89ce5..22fdde80590c 100644
--- a/d
On Fri, 10 Nov 2023, Andrew Cooper wrote:
> On 10/11/2023 12:07 am, Stefano Stabellini wrote:
> > On Wed, 8 Nov 2023, Andrew Cooper wrote:
> >> diff --git a/docs/index.rst b/docs/index.rst
> >> index f3f779f89ce5..22fdde80590c 100644
> >> --- a/docs/index.rst
> >> +++ b/docs/index.rst
> >> @@ -53,1
On 10/11/2023 12:07 am, Stefano Stabellini wrote:
> On Wed, 8 Nov 2023, Andrew Cooper wrote:
>> diff --git a/docs/index.rst b/docs/index.rst
>> index f3f779f89ce5..22fdde80590c 100644
>> --- a/docs/index.rst
>> +++ b/docs/index.rst
>> @@ -53,17 +53,18 @@ kind of development environment.
>> hype
On Wed, 8 Nov 2023, Andrew Cooper wrote:
> sphinx-build reports:
>
> docs/designs/launch/hyperlaunch.rst: WARNING: document isn't included in
> any toctree
> docs/designs/launch/hyperlaunch-devicetree.rst: WARNING: document isn't
> included in any toctree
> docs/misc/xen-makefiles/makefile
Hi,
> On Nov 8, 2023, at 23:27, Andrew Cooper wrote:
>
> sphinx-build reports:
>
> docs/designs/launch/hyperlaunch.rst: WARNING: document isn't included in any
> toctree
> docs/designs/launch/hyperlaunch-devicetree.rst: WARNING: document isn't
> included in any toctree
> docs/misc/xen-make