From a61372e96791889a433505e137b6c4e82e5aebec Mon Sep 17 00:00:00 2001 From: Mike Frysinger Date: Tue, 15 Sep 2026 21:44:58 -0400 Subject: [PATCH] shell.xsl: drop obsolete stylesheet Since the shell guide migrated to markdown/html, the stylesheet for the XML file isn't really used other than to render the redirect. We can switch to the standard styleguide.xsl for that. --- shell.xml | 13 ++-- shell.xsl | 178 ------------------------------------------------------ 2 files changed, 7 insertions(+), 184 deletions(-) delete mode 100644 shell.xsl diff --git a/shell.xml b/shell.xml index 6fe448d..6f378a3 100644 --- a/shell.xml +++ b/shell.xml @@ -1,7 +1,8 @@ - - - -The guide has been moved to shellguide.html. - - + + +

+ The style guide has moved to + shellguide.html. +

+
diff --git a/shell.xsl b/shell.xsl deleted file mode 100644 index d7cfd31..0000000 --- a/shell.xsl +++ /dev/null @@ -1,178 +0,0 @@ - - - - - - - - - - - - - - - - - - <xsl:value-of select="@title"/> - - - - - - - - - -

- - - -
- - - - - - - - - -
-