[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <ZcXypIwlSZnH/kTf@gmail.com>
Date: Fri, 9 Feb 2024 01:38:44 -0800
From: Breno Leitao <leitao@...ian.org>
To: Jonathan Corbet <corbet@....net>
Cc: Thorsten Blum <thorsten.blum@...lux.com>, linux-doc@...r.kernel.org,
linux-kernel@...r.kernel.org,
Vegard Nossum <vegard.nossum@...cle.com>
Subject: Re: [PATCH] docs: Makefile: Fix make cleandocs by deleting generated
.rst files
On Thu, Feb 08, 2024 at 03:52:08PM -0700, Jonathan Corbet wrote:
> 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)
I haven't check but I _think_ that just deleting $(YNL_INDEX) is enough
here, since $(YNL_INDEX) depends on $(YNL_RST_FILES).
> > $(Q)rm -rf $(BUILDDIR)
> > $(Q)$(MAKE) BUILDDIR=$(abspath $(BUILDDIR)) $(build)=Documentation/userspace-api/media clean
>
> So this seems worth doing ... except that there has been talk about not
> depositing those files into the source tree in the first place. Adding
> Vegard and Breno to see if they have any thoughts on the matter...
Agree. This is definitely worth doing.
Powered by blists - more mailing lists