profiles: deprecate ia64 13.0 profiles

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

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

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

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

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