profiles/default/linux/sh: deprecated 13.0 profiles

Suggest using plain 'default/linux/sh/17.0' instead.

Closes: https://bugs.gentoo.org/673272
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>

diff --git a/profiles/default/linux/sh/13.0/deprecated b/profiles/default/linux/sh/13.0/deprecated
new file mode 100644 (file)
index 0000000..d3f97aa
--- /dev/null
+++ b/profiles/default/linux/sh/13.0/deprecated
@@ -0,0 +1 @@
+default/linux/sh/17.0

diff --git a/profiles/default/linux/sh/13.0/desktop/deprecated b/profiles/default/linux/sh/13.0/desktop/deprecated
new file mode 100644 (file)
index 0000000..d3f97aa
--- /dev/null
+++ b/profiles/default/linux/sh/13.0/desktop/deprecated
@@ -0,0 +1 @@
+default/linux/sh/17.0

diff --git a/profiles/default/linux/sh/13.0/desktop/gnome/deprecated b/profiles/default/linux/sh/13.0/desktop/gnome/deprecated
new file mode 100644 (file)
index 0000000..d3f97aa
--- /dev/null
+++ b/profiles/default/linux/sh/13.0/desktop/gnome/deprecated
@@ -0,0 +1 @@
+default/linux/sh/17.0

diff --git a/profiles/default/linux/sh/13.0/developer/deprecated b/profiles/default/linux/sh/13.0/developer/deprecated
new file mode 100644 (file)
index 0000000..d3f97aa
--- /dev/null
+++ b/profiles/default/linux/sh/13.0/developer/deprecated
@@ -0,0 +1 @@
+default/linux/sh/17.0