diff mbox series

[wwwdocs] style.mhtml - Remove the last traces of setting a DOCTYPE.

Message ID alpine.LSU.2.21.1809291923210.3785@anthias.pfeifer.com
State New
Headers show
Series [wwwdocs] style.mhtml - Remove the last traces of setting a DOCTYPE. | expand

Commit Message

Gerald Pfeifer Sept. 29, 2018, 8:14 p.m. UTC 
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
diff mbox series

Patch

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>