After my changes in the past weeks (and months) this is the last of our regular, not automatically generated, pages that moves to HTML 5.
There are some further simplifications and cleanups on this page in particular and our style sheet(s), but the majority of work is behind us, and for those of you making changes things pretty much as easy as it gets. :-) Committed. Gerald Index: index.html =================================================================== RCS file: /cvs/gcc/wwwdocs/htdocs/index.html,v retrieving revision 1.1100 diff -u -r1.1100 index.html --- index.html 23 Sep 2018 18:02:39 -0000 1.1100 +++ index.html 29 Sep 2018 16:51:24 -0000 @@ -1,9 +1,6 @@ -<?xml version="1.0" encoding="utf-8"?> -<!DOCTYPE html - PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" - "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd";> - +<!DOCTYPE html> <html> + <head> <meta name="google-site-verification" content="FUv_3eEIkimd6LAoWned4TPMqmKKQmw3aA2_PBJ5SAY" /> <title>GCC, the GNU Compiler Collection</title>
