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

[Thomas Huth <thuth@redhat.com>]

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