[<prev] [next>] [<thread-prev] [day] [month] [year] [list]
Message-ID: <874jeazmxk.fsf@meer.lwn.net>
Date: Wed, 14 Feb 2024 15:43:51 -0700
From: Jonathan Corbet <corbet@....net>
To: Thorsten Blum <thorsten.blum@...lux.com>
Cc: linux-doc@...r.kernel.org, linux-kernel@...r.kernel.org, Thorsten Blum
<thorsten.blum@...lux.com>
Subject: Re: [PATCH] docs: Makefile: Fix make cleandocs by deleting
generated .rst files
Thorsten Blum <thorsten.blum@...lux.com> writes:
> The script tools/net/ynl/ynl-gen-rst.py (YNL_TOOL) generates several .rst
> files (YNL_INDEX, YNL_RST_FILES) in Documentation/networking/netlink_spec
> (YNL_RST_DIR) which are not deleted by make cleandocs.
>
> Fix make cleandocs by deleting the generated .rst files.
>
> Signed-off-by: Thorsten Blum <thorsten.blum@...lux.com>
> ---
> Documentation/Makefile | 1 +
> 1 file changed, 1 insertion(+)
>
> diff --git a/Documentation/Makefile b/Documentation/Makefile
> index 3885bbe260eb..4479910166fc 100644
> --- a/Documentation/Makefile
> +++ b/Documentation/Makefile
> @@ -176,6 +176,7 @@ refcheckdocs:
> $(Q)cd $(srctree);scripts/documentation-file-ref-check
>
> cleandocs:
> + $(Q)rm -f $(YNL_INDEX) $(YNL_RST_FILES)
> $(Q)rm -rf $(BUILDDIR)
> $(Q)$(MAKE) BUILDDIR=$(abspath $(BUILDDIR)) $(build)=Documentation/userspace-api/media clean
Applied, thanks.
jon
Powered by blists - more mailing lists