[patch] Patch to guide.dtd

guide.dtd.patch (text/plain), 1.51 KB, created by Sven Vermeulen (RETIRED) on 2003-11-15 05:41:27 UTC

--- ../cvs/htdocs/dtd/guide.dtd	2003-10-24 10:08:39.000000000 +0200
+++ guide.dtd	2003-11-15 14:37:13.000000000 +0100
@@ -98,7 +98,9 @@
 <!ELEMENT version               (#PCDATA)>
 <!ELEMENT date                  (#PCDATA)>
 <!ELEMENT chapter               (title, section+)>
+<!ATTLIST chapter   id CDATA #IMPLIED>
 <!ELEMENT section               (title?, body)>
+<!ATTLIST section   id CDATA #IMPLIED>
 <!ELEMENT body                  (%all.class;)*>
 <!ELEMENT figure                EMPTY>
 <!ATTLIST figure                caption CDATA #IMPLIED
@@ -107,7 +109,8 @@
 <!ELEMENT fig                   EMPTY>
 <!ATTLIST fig                   short CDATA #IMPLIED
                                                 linkto CDATA #IMPLIED
-                                                link CDATA #REQUIRED>
+                                                link CDATA #REQUIRED
+            id   CDATA #IMPLIED>
 <!ELEMENT img                   EMPTY>
 <!ATTLIST img                   src CDATA #REQUIRED>
 <!ELEMENT br                    (#PCDATA)>
@@ -115,7 +118,8 @@
 <!ELEMENT impo                  (#PCDATA|%all.class;)*>
 <!ELEMENT warn                  (#PCDATA|%all.class;)*>
 <!ELEMENT pre                   (#PCDATA|%all.class;)*>
-<!ATTLIST pre                   caption CDATA #IMPLIED>
+<!ATTLIST pre                   caption CDATA #IMPLIED
+                  id      CDATA #IMPLIED>
 <!ELEMENT p                             (#PCDATA|%all.class;)*>
 <!ELEMENT table                 (tcolumn*, tr+)>
 <!ELEMENT tcolumn               EMPTY>