diff options
Diffstat (limited to 'gdb/features')
| -rw-r--r-- | gdb/features/library-list.dtd | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/gdb/features/library-list.dtd b/gdb/features/library-list.dtd new file mode 100644 index 0000000..44aa8c8 --- /dev/null +++ b/gdb/features/library-list.dtd @@ -0,0 +1,15 @@ +<!-- Copyright (C) 2007 Free Software Foundation, Inc. + + Copying and distribution of this file, with or without modification, + are permitted in any medium without royalty provided the copyright + notice and this notice are preserved. --> + +<!-- library-list: Root element with versioning --> +<!ELEMENT library-list (library)*> +<!ATTLIST library-list version CDATA #FIXED "1.0"> + +<!ELEMENT library (segment)*> +<!ATTLIST library name CDATA #REQUIRED> + +<!ELEMENT segment EMPTY> +<!ATTLIST segment address CDATA #REQUIRED> |