...not just for "standard" pages, those that used to be XHTML and are now HTML 5. On the way remove traces of XHTML around that, which were still fine, but not necessary.
Committed. Gerald Index: style.mhtml =================================================================== RCS file: /cvs/gcc/wwwdocs/htdocs/style.mhtml,v retrieving revision 1.157 diff -u -r1.157 style.mhtml --- style.mhtml 29 Sep 2018 17:28:15 -0000 1.157 +++ style.mhtml 30 Sep 2018 07:26:21 -0000 @@ -10,19 +10,17 @@ <unset-var XHTML> > -;;; Redefine the <html> tag so that we can put XHTML attributes inside. +;;; Redefine the <html> tag. -<if <var-exists XHTML> - <group <define-container html> +<define-container html> <verbatim> - <html xmlns="http://www.w3.org/1999/xhtml"; xml:lang="en" lang="en"> + <html lang="en"> </verbatim> %body <verbatim> </html> </verbatim> - </define-container> > -> +</define-container> ;;; Redefine the <head> tag so that we can add default <meta /> headers.
