Redirect google-r-style.html to RGuide.html

Also fix a couple of issues.
pull/580/head
Tony Ruscoe 2019-08-07 08:58:29 +01:00 committed by GitHub
parent 9dcd80e201
commit 5beae3f4da
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 5 deletions

View File

@ -1,9 +1,8 @@
<!DOCTYPE html> <!DOCTYPE html>
<html> <html>
<head> <head>
<meta charset="utf8"> <meta charset="utf-8">
<meta http-equiv="content-type" content="text/html;charset=utf-8"> <meta http-equiv="refresh" content="1; url=Rguide.html">
<meta http-equiv="refresh" content="1; url=Rguide.xml">
<title>Redirecting</title> <title>Redirecting</title>
</head> </head>
<!-- The BODY onLoad redirect is the best: it preserves #fragments and <!-- The BODY onLoad redirect is the best: it preserves #fragments and
@ -12,7 +11,7 @@
and queries, takes a second, and pollutes the browser history. and queries, takes a second, and pollutes the browser history.
If they both fail, we let the user manually click on the new link. If they both fail, we let the user manually click on the new link.
--> -->
<body onload="location.replace(location.href.replace('google-r-style.html', 'Rguide.xml'))"> <body onload="location.replace(location.href.replace('google-r-style.html', 'Rguide.html'))">
Redirecting you to <a href="Rguide.xml">Rguide.xml</a>. Redirecting you to <a href="Rguide.html">Rguide.html</a>.
</body> </body>
</html> </html>