Re: [PATCH v2] docs: build-system: rename "default-configs" to "configs"

[Thomas Huth]

On 01/06/2023 10.17, Kashyap Chamarthy wrote:
> On Wed, May 31, 2023 at 04:22:34PM +0200, Thomas Huth wrote:
> > On 23/05/2023 15.31, Kashyap Chamarthy wrote:
> > > Commit 812b31d3f9 (configs: rename default-configs to configs and
> > > reorganise, 2021-07-07) did the rename.
> > >
> > > Reflect that update also in the documentation.
> > >
> > > Signed-off-by: Kashyap Chamarthy <kchamart@redhat.com>
> > > ---
> > >    docs/devel/build-system.rst | 12 +++++------
> > >    docs/devel/kconfig.rst      | 40 ++++++++++++++++++++-----------------
> > >    2 files changed, 28 insertions(+), 24 deletions(-)
> > >
> > > diff --git a/docs/devel/build-system.rst b/docs/devel/build-system.rst
> > > index 1894721743..20ebcc9ac6 100644
> > > --- a/docs/devel/build-system.rst
> > > +++ b/docs/devel/build-system.rst
> > ...
> > > @@ -457,7 +457,7 @@ Built by Meson:
> > >      TARGET-NAME is again the name of a system or userspace emulator. The
> > >      config-devices.mak file is automatically generated by make using the
> > >      scripts/make_device_config.sh program, feeding it the
> > > -  default-configs/$TARGET-NAME file as input.
> > > +  configs/$TARGET-NAME file as input.
> >
> > This hunk does not apply anymore - but I think it can simply be dropped now.
>
> Just for my own clarity, which precise part do you suggest to be
> dropped?

The above line seems to be gone, so it does not need fixing anymore, I 
think. You'll see it when you rebase your patch.

 Thomas