From 6cc5aeaa8d11895db48da97e0b0870aab3b771f3 Mon Sep 17 00:00:00 2001
From: Norman Walsh <ndw@nwalsh.com>
Date: Wed, 2 Oct 2002 12:08:32 +0000
Subject: [PATCH] Add headlink element (HTML head 'link')

---
 website/autolayout.dtd | 14 +++++++++++++-
 website/layout.dtd     | 14 +++++++++++++-
 website/website.mod    | 14 +++++++++++++-
 3 files changed, 39 insertions(+), 3 deletions(-)

diff --git a/website/autolayout.dtd b/website/autolayout.dtd
index fb0ec0419..7a0c5081e 100644
--- 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 52a925afa..a849fafd4 100644
--- 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 28d975b80..73c8128cb 100644
--- 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
-- 
2.40.0