Re: [PATCH] Documentation: move dev-tools debugging files to process/debugging/

[Randy Dunlap <rdunlap@infradead.org>]

On 12/7/24 12:50 AM, Sebastian Fricke wrote:
> Hey Randy,
> 
> On 06.12.2024 15:57, Randy Dunlap wrote:
>>
>>
>> On 12/6/24 8:38 AM, Jonathan Corbet wrote:
>>> Randy Dunlap <rdunlap@infradead.org> writes:
>>>
>>>> Move gdb and kgdb debugging documentation to the dedicated
>>>> debugging directory (Documentation/process/debugging/).
>>>> Adjust the index.rst files to follow the file movement.
>>>> Update location of kgdb.rst in MAINTAINERS file.
>>>>
>>>> Signed-off-by: Randy Dunlap <rdunlap@infradead.org>
>>>
>>> So ... since these are indeed development tools, I wonder if we should
>>> leave a reference behind in case people are looking for them there?
>>
>> As far as I'm concerned, all debug tools are development tools, so I'm back
>> to all of /process/debugging/ should be somewhere else.  ;)
> 
> I mean this is where things just simply overlap, because debugging is
> part of the development process and all debugging tools are development
> tools, so I think the question is not whether one of the two places is
> the "correct" but instead the user should be able to find the necessary
> information by navigating to any of the two places.
> So I would say, lets add a reference in the index of the development
> tools that highlights the documentation of the debugging tools which are
> found in the development process documentation.
> 

Hi,

Sure, I will add entries in dev-tools/index.

Thanks.

-- 
~Randy