Re: [PATCH 1/2] Fix issues with gdb-memory-map.dtd

Simon Marchi
2017-11-24T21:35:13Z

On 2017-11-24 16:30, Joel Brobecker wrote:
>> You are probably the person that has the most chance to know how to
>> update this file:
>>
>> http://sourceware.org/gdb/gdb-memory-map.dtd
>>
>> Any idea?
>
> I can absolutely do that. But I'm wondering whether we might
> just want to delete the file instead? Why keep a copy on
> the website? I couldn't find a reference to it anywhere
> in any of the webpages...

The XML files that follow this dtd can point to it. For example, look
at the example in the doc:

https://sourceware.org/gdb/onlinedocs/gdb/Memory-Map-Format.html

This allows a tool to validate that the XML respects the dtd, and XML
editors can provide assistance when hand-writing it, giving
auto-complete based on the possible options.

Simon