diff options
| author | Peter Eisentraut | 2004-11-10 23:01:47 +0000 |
|---|---|---|
| committer | Peter Eisentraut | 2004-11-10 23:01:47 +0000 |
| commit | c35298d84c37f95d7923bb0530128fb3288f1d42 (patch) | |
| tree | 60b1ddea0f2aad09fe3dc86322a4582593ec44d0 | |
| parent | e32326901992d57b97548bfa4f6855323aa9a0c1 (diff) | |
Add character set declaration to HTML files, so they have a chance to
validate and display correctly.
| -rw-r--r-- | doc/src/sgml/stylesheet.dsl | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/doc/src/sgml/stylesheet.dsl b/doc/src/sgml/stylesheet.dsl index 42f3e80877..a899ed3f52 100644 --- a/doc/src/sgml/stylesheet.dsl +++ b/doc/src/sgml/stylesheet.dsl @@ -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) |