Change HTML-EXTERNAL-DTD to HTML-EXTERNAL-ID.

diff --git a/v7/src/xml/xhtml.scm b/v7/src/xml/xhtml.scm
index 8119ebe368d31944d96d9a1c45a165d405bf64d5..8fd107ba881068b5d9af01ac8ebbe4540a408623 100644 (file)
--- a/v7/src/xml/xhtml.scm
+++ b/v7/src/xml/xhtml.scm
@@ -1,6 +1,6 @@
 #| -*-Scheme-*-
 
-$Id: xhtml.scm,v 1.9 2004/07/24 02:26:19 cph Exp $
+$Id: xhtml.scm,v 1.10 2004/07/24 03:03:14 cph Exp $
 
 Copyright 2002,2003,2004 Massachusetts Institute of Technology
 
@@ -30,22 +30,22 @@ USA.
 (define (html-1.0-document attrs . items)
   (%make-document html-1.0-dtd attrs items))
 
-(define html-1.0-external-dtd
+(define html-1.0-external-id
   (make-xml-external-id "-//W3C//DTD XHTML 1.0 Strict//EN"
                        "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"))
 
 (define html-1.0-dtd
-  (make-xml-dtd 'html html-1.0-external-dtd '()))
+  (make-xml-dtd 'html html-1.0-external-id '()))
 
 (define (html-1.1-document attrs . items)
   (%make-document html-1.1-dtd attrs items))
 
-(define html-1.1-external-dtd
+(define html-1.1-external-id
   (make-xml-external-id "-//W3C//DTD XHTML 1.1//EN"
                        "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd"))
 
 (define html-1.1-dtd
-  (make-xml-dtd 'html html-1.1-external-dtd '()))
+  (make-xml-dtd 'html html-1.1-external-id '()))
 
 (define (%make-document dtd attrs items)
   (make-xml-document (make-xml-declaration "1.0" "UTF-8" #f)

diff --git a/v7/src/xml/xml.pkg b/v7/src/xml/xml.pkg
index 24b4cd7c2262ee7b3486daa0d27b8e2c1ccaa727..f7c503fac166b1137ce6ef214b44c5b708c015b8 100644 (file)
--- a/v7/src/xml/xml.pkg
+++ b/v7/src/xml/xml.pkg
@@ -1,6 +1,6 @@
 #| -*-Scheme-*-
 
-$Id: xml.pkg,v 1.49 2004/07/24 02:26:24 cph Exp $
+$Id: xml.pkg,v 1.50 2004/07/24 03:03:24 cph Exp $
 
 Copyright 2001,2002,2003,2004 Massachusetts Institute of Technology
 
@@ -303,15 +303,15 @@ USA.
   (export ()
          (html-document html-1.0-document)
          (html-dtd html-1.0-dtd)
-         (html-external-dtd html-1.0-external-dtd)
+         (html-external-id html-1.0-external-id)
          guarantee-html-element
          guarantee-html-element-name
          html-1.0-document
          html-1.0-dtd
-         html-1.0-external-dtd
+         html-1.0-external-id
          html-1.1-document
          html-1.1-dtd
-         html-1.1-external-dtd
+         html-1.1-external-id
          html-element-context
          html-element-name-context
          html-element-name?