Merge pull request #522 from google/shell_redirect

Add an HTML META tag to redirect to the new shell guide.
google · Feb 19, 2020 · 2465730 · 2465730
2 parents e25d7f6 + 7ec72be
commit 2465730
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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>.