Re: linux-next: build warning after merge of the tip tree

From: Stephen Rothwell
Date: Thu Nov 05 2020 - 23:35:41 EST


Hi all,

On Thu, 5 Nov 2020 18:06:00 +1100 Stephen Rothwell <sfr@xxxxxxxxxxxxxxxx> wrote:
>
> After merging the tip tree, today's linux-next build (htmldocs) produced
> this warning:
>
> Documentation/admin-guide/hw-vuln/l1d_flush.rst:25: WARNING: undefined label: documentation/userspace-api/spec_ctrl.rst (if the link has no caption the label must precede a section header)
>
> Introduced by commit
>
> 767d46ab566d ("Documentation: Add L1D flushing Documentation")

Sorry, I forgot that I had already reported this last week.

--
Cheers,
Stephen Rothwell

Attachment: pgpNLGs9934Y_.pgp
Description: OpenPGP digital signature