From 2239c9c3919c2de81af7b2bff2947f1917fda8b6 Mon Sep 17 00:00:00 2001 From: Chris Hanson Date: Sat, 24 Jul 2004 03:03:24 +0000 Subject: [PATCH] Change HTML-EXTERNAL-DTD to HTML-EXTERNAL-ID. --- v7/src/xml/xhtml.scm | 10 +++++----- v7/src/xml/xml.pkg | 8 ++++---- 2 files changed, 9 insertions(+), 9 deletions(-) diff --git a/v7/src/xml/xhtml.scm b/v7/src/xml/xhtml.scm index 8119ebe36..8fd107ba8 100644 --- 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 24b4cd7c2..f7c503fac 100644 --- 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? -- 2.25.1