[pushed] wwwdocs: onlinedocs/13.1.0: Remove last trace of XHTML

Fri May 19 08:12:19 GMT 2023

On Fri, May 19, 2023 at 10:08:28AM +0200, Gerald Pfeifer wrote:
> This is how I actually noticed the situation in gcc-13/buildstat.html
> (and then I mixed the two up).
> 
> Jakub, do you have some old templates somewhere maybe?

Usually I git diff last year's changes and apply that after adjusting the
versions, which indeed has the problem of bringing back old style stuff;
but copying latest files doesn't work in many cases either because it
contains lots of changes that I'd have to undo.
But sure, for the onlinedocs I guess copying latest with adjustments is better.

> diff --git a/htdocs/onlinedocs/13.1.0/index.html b/htdocs/onlinedocs/13.1.0/index.html
> index 7b8c3d38..2abc06ac 100644
> --- a/htdocs/onlinedocs/13.1.0/index.html
> +++ b/htdocs/onlinedocs/13.1.0/index.html
> @@ -4,7 +4,7 @@
>  <head>
>  <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
>  <title>GCC 13.1 manuals</title>
> -<link rel="stylesheet" type="text/css" href="https://gcc.gnu.org/gcc.css" />
> +<link rel="stylesheet" type="text/css" href="https://gcc.gnu.org/gcc.css">
>  </head>
>  
>  <body>
> -- 
> 2.40.1

	Jakub