This is the mail archive of the gdb-patches@sourceware.org mailing list for the GDB project.
Index Nav: | [Date Index] [Subject Index] [Author Index] [Thread Index] | |
---|---|---|
Message Nav: | [Date Prev] [Date Next] | [Thread Prev] [Thread Next] |
Other format: | [Raw text] |
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.htmlThis 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
Index Nav: | [Date Index] [Subject Index] [Author Index] [Thread Index] | |
---|---|---|
Message Nav: | [Date Prev] [Date Next] | [Thread Prev] [Thread Next] |