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

From: Stephen Rothwell <[email-masked]>
Date: Fri, 6 Nov 2020 15:35:20 +1100

Hi all,

On Thu, 5 Nov 2020 18:06:00 +1100 Stephen Rothwell <[email-masked]> 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