From 5beae3f4dacad9b0b86a8a4ab308459475feda0e Mon Sep 17 00:00:00 2001
From: Tony Ruscoe <tonyruscoe@gmail.com>
Date: Wed, 7 Aug 2019 08:58:29 +0100
Subject: [PATCH] Redirect google-r-style.html to RGuide.html

Also fix a couple of issues.
---
 google-r-style.html | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)
diff --git a/google-r-style.html b/google-r-style.html
index 21a73f6..6c945d1 100644
--- a/google-r-style.html
+++ b/google-r-style.html
@@ -1,9 +1,8 @@
 <!DOCTYPE html>
 <html>
 <head>
-  <meta charset="utf8">
-  <meta http-equiv="content-type" content="text/html;charset=utf-8">
-  <meta http-equiv="refresh" content="1; url=Rguide.xml">
+  <meta charset="utf-8">
+  <meta http-equiv="refresh" content="1; url=Rguide.html">
   <title>Redirecting</title>
 </head>
 <!-- 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.
      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'))">
-  Redirecting you to <a href="Rguide.xml">Rguide.xml</a>.
+<body onload="location.replace(location.href.replace('google-r-style.html', 'Rguide.html'))">
+  Redirecting you to <a href="Rguide.html">Rguide.html</a>.
 </body>
 </html>
