From 7ec72be27f24cf0af5031029bf76c5ae6c00ea72 Mon Sep 17 00:00:00 2001
From: Isaac Good <goodi@google.com>
Date: Mon, 17 Feb 2020 12:30:45 -0800
Subject: [PATCH] Add an HTML>HEADER>META tag to redirect from the old to the
 new shell guide

---
 shell.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/shell.xml b/shell.xml
index 402f5ee..6fe448d 100644
--- a/shell.xml
+++ b/shell.xml
@@ -1,5 +1,5 @@
 <?xml version="1.0"?>
-<?xml-stylesheet type="text/xsl" href="styleguide.xsl"?>
+<?xml-stylesheet type="text/xsl" href="shell.xsl"?>
 
 <GUIDE title="Shell Style Guide"> 
 The guide has been moved to <a href="https://google.github.io/styleguide/shellguide.html">shellguide.html</a>.