This removes the last traces of setting a DOCTYPE. All regular pages now have this included directly and for install/ the conversion from texinfo now does that.
David, this should be yet another change that'll help make your script easier. Committed. Gerald Index: style.mhtml =================================================================== RCS file: /cvs/gcc/wwwdocs/htdocs/style.mhtml,v retrieving revision 1.156 diff -u -r1.156 style.mhtml --- style.mhtml 15 Sep 2018 23:03:24 -0000 1.156 +++ style.mhtml 29 Sep 2018 17:17:18 -0000 @@ -4,20 +4,12 @@ <set-var XHTML> <set-var BACKPATH> -;;; The "install/" pages are HTML, not XHTML. +;;; The pages under install/ are generated from texinfo sources. <if <match <get-var env::PREPROCESS_FILE> "install/.*"> <unset-var XHTML> > -<if <var-exists XHTML> - <group - > - <group - <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> - > -> - ;;; Redefine the <html> tag so that we can put XHTML attributes inside. <if <var-exists XHTML>
