Hi all, On Thu, 5 Nov 2020 18:06:00 +1100 Stephen Rothwell 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