Make id attributes IDs so that duplicate IDs can be flagged by the parser

diff --git a/website/autolayout.dtd b/website/autolayout.dtd
index e0a5c830da493724417e07e65c9edc72ebaf3f89..d76ffdd4de03513595b30089c1a7be336490c544 100644 (file)
--- a/website/autolayout.dtd
+++ b/website/autolayout.dtd
@@ -59,17 +59,18 @@
 
 <!ELEMENT tocentry (title, titleabbrev?, summary?, tocentry*)>
 <!ATTLIST tocentry
-       id              CDATA   #REQUIRED
+       id              ID      #REQUIRED
        page            CDATA   #IMPLIED
        href            CDATA   #IMPLIED
        dir             CDATA   #IMPLIED
        filename        CDATA   #IMPLIED
+       revisionflag    (added|changed) #IMPLIED
        tocskip         (0|1)   "0"
 >
 
 <!ELEMENT notoc (title, titleabbrev?, summary?)>
 <!ATTLIST notoc
-       id              CDATA   #REQUIRED
+       id              ID      #REQUIRED
        page            CDATA   #REQUIRED
        dir             CDATA   #IMPLIED
        filename        CDATA   #REQUIRED