Add character set declaration to HTML files, so they have a chance to

validate and display correctly.

diff --git a/doc/src/sgml/stylesheet.dsl b/doc/src/sgml/stylesheet.dsl
index e1fb6ad1c31e73227b8ae539409e5fd25ca30978..fcaa2840fe753bc0c7fcdf599c4676d4e205fee2 100644 (file)
--- a/doc/src/sgml/stylesheet.dsl
+++ b/doc/src/sgml/stylesheet.dsl
@@ -1,4 +1,4 @@
-
+
 
 
 
@@ -193,9 +193,10 @@
       (make empty-element gi: "HR")
       (empty-sosofo)))
 
-;; Put date of creation into HTML header
+;; Add character encoding and time of creation into HTML header
 (define %html-header-tags% 
-  (list (list "META" '("NAME" "creation") (list "CONTENT" (time->string (time) #t)))))
+  (list (list "META" '("HTTP-EQUIV" "Content-Type") '("CONTENT" "text/html; charset=ISO-8859-1"))
+   (list "META" '("NAME" "creation") (list "CONTENT" (time->string (time) #t)))))
 
 ;; Create an index
 (define html-index #t)