diff options
Diffstat (limited to 'org.eclipse.help/dtd/infoset.dtd')
| -rw-r--r-- | org.eclipse.help/dtd/infoset.dtd | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/org.eclipse.help/dtd/infoset.dtd b/org.eclipse.help/dtd/infoset.dtd new file mode 100644 index 000000000..09988f36a --- /dev/null +++ b/org.eclipse.help/dtd/infoset.dtd @@ -0,0 +1,10 @@ +
+<!ELEMENT infoset (view)* >
+<!ATTLIST infoset id ID #REQUIRED >
+<!ATTLIST infoset label CDATA #REQUIRED >
+<!ATTLIST infoset href CDATA #IMPLIED >
+<!ATTLIST infoset standalone (true | false) false #IMPLIED >
+
+<!ELEMENT infoview EMPTY>
+<!ATTLIST infoview id ID #REQUIRED >
+<!ATTLIST infoview label CDATA #IMPLIED >
|