|
|
@@ -669,8 +669,8 @@ PUB-DIR is set, use this as the publishing directory."
|
|
|
(unless body-only
|
|
|
;; File header
|
|
|
(insert (format
|
|
|
- "<?xml version=\"1.0\" encoding=\"%s\"?>
|
|
|
-<!DOCTYPE html PUBLIC \"-//W3C//DTD XHTML 1.0 Strict//EN\"
|
|
|
+; "<?xml version=\"1.0\" encoding=\"%s\"?>
|
|
|
+"<!DOCTYPE html PUBLIC \"-//W3C//DTD XHTML 1.0 Strict//EN\"
|
|
|
\"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd\">
|
|
|
<html xmlns=\"http://www.w3.org/1999/xhtml\"
|
|
|
lang=\"%s\" xml:lang=\"%s\">
|
Carsten Dominik