Add headlink element (HTML head 'link')

diff --git a/website/autolayout.dtd b/website/autolayout.dtd
index fb0ec04193c54d9a9f525eb0a67572a5bc249b89..7a0c5081e833a7e38e5d17f8380cf27fd14f8631 100644 (file)
--- a/website/autolayout.dtd
+++ b/website/autolayout.dtd
@@ -17,7 +17,7 @@
                                                                             -->
 <!-- ====================================================================== -->
 
-<!ELEMENT autolayout ((copyright|style|script|config)*, toc+, notoc*)>
+<!ELEMENT autolayout ((copyright|style|script|headlink|config)*, toc+, notoc*)>
 
 <!ELEMENT toc (title, titleabbrev?, summary?, tocentry*)>
 <!ATTLIST toc
@@ -52,6 +52,18 @@
        language        CDATA   #IMPLIED
 >
 
+<!ELEMENT headlink EMPTY>
+<!ATTLIST headlink
+       href    CDATA   #IMPLIED
+       media   CDATA   #IMPLIED
+       name    CDATA   #IMPLIED
+       rel     CDATA   #IMPLIED
+       rev     CDATA   #IMPLIED
+       src     CDATA   #IMPLIED
+       title   CDATA   #IMPLIED
+       type    CDATA   #IMPLIED
+>
+
 <!ELEMENT copyright (year+, holder+)>
 
 <!ELEMENT year (#PCDATA)*>

diff --git a/website/layout.dtd b/website/layout.dtd
index 52a925afa95a1d4f5c426b60d4917c16be36722e..a849fafd40bd4a470e68c6103e72b6e208cd0f2e 100644 (file)
--- a/website/layout.dtd
+++ b/website/layout.dtd
@@ -17,7 +17,7 @@
                                                                             -->
 <!-- ====================================================================== -->
 
-<!ELEMENT layout ((config|style|script|copyright)*, toc+, notoc*)>
+<!ELEMENT layout ((config|style|script|headlink|copyright)*, toc+, notoc*)>
 
 <!ELEMENT config EMPTY>
 <!ATTLIST config
@@ -38,6 +38,18 @@
        language        CDATA   #IMPLIED
 >
 
+<!ELEMENT headlink EMPTY>
+<!ATTLIST headlink
+       href    CDATA   #IMPLIED
+       media   CDATA   #IMPLIED
+       name    CDATA   #IMPLIED
+       rel     CDATA   #IMPLIED
+       rev     CDATA   #IMPLIED
+       src     CDATA   #IMPLIED
+       title   CDATA   #IMPLIED
+       type    CDATA   #IMPLIED
+>
+
 <!ELEMENT copyright (year+, holder+)>
 
 <!ELEMENT year (#PCDATA)*>

diff --git a/website/website.mod b/website/website.mod
index 28d975b80e07d5650729fa7da18c2f8dda1f220c..73c8128cb448e2d84ac07bbf0c1064ddc1656e77 100644 (file)
--- a/website/website.mod
+++ b/website/website.mod
@@ -15,7 +15,7 @@
 
 <!ELEMENT head (title, titleabbrev?, subtitle?, summary?, base?, keywords?,
                (copyright | author | edition
-                | meta | script | style | abstract | revhistory
+                | meta | headlink | script | style | abstract | revhistory
                 %rddl.elements;)*)>
 
 <!ELEMENT meta EMPTY>
@@ -25,6 +25,18 @@
        content CDATA   #REQUIRED
 >
 
+<!ELEMENT headlink EMPTY>
+<!ATTLIST headlink
+       href    CDATA   #IMPLIED
+       media   CDATA   #IMPLIED
+       name    CDATA   #IMPLIED
+       rel     CDATA   #IMPLIED
+       rev     CDATA   #IMPLIED
+       src     CDATA   #IMPLIED
+       title   CDATA   #IMPLIED
+       type    CDATA   #IMPLIED
+>
+
 <!ELEMENT script (#PCDATA)>
 <!ATTLIST script
        src     CDATA   #IMPLIED