[<prev] [next>] [<thread-prev] [day] [month] [year] [list]
Message-ID: <20200407134147.067ba4d8@lwn.net>
Date: Tue, 7 Apr 2020 13:41:47 -0600
From: Jonathan Corbet <corbet@....net>
To: Lukas Bulwahn <lukas.bulwahn@...il.com>
Cc: linux-doc@...r.kernel.org, linux-kernel@...r.kernel.org
Subject: Re: [PATCH] docs: driver-api: address duplicate label warning
On Mon, 30 Mar 2020 08:01:32 +0200
Lukas Bulwahn <lukas.bulwahn@...il.com> wrote:
> Delete identically named subsection to fix Documentation warning:
>
> Documentation/driver-api/w1.rst:11: \
> WARNING: duplicate label driver-api/w1:w1 api internal to the kernel, \
> other instance in Documentation/driver-api/w1.rst
>
> Signed-off-by: Lukas Bulwahn <lukas.bulwahn@...il.com>
> ---
> One of many doc warnings...
> Jonathan, this patch is for you.
Applied, thanks.
jon
Powered by blists - more mailing lists