[Libosinfo] [osinfo-db PATCH v2 7/8] debian: Add new <short-id>s for several releases

[Andrea Bolognani]

To match the version number.

Signed-off-by: Andrea Bolognani <abologna at redhat.com>
---
 data/os/debian.org/debian-3.xml.in | 1 +
 data/os/debian.org/debian-4.xml.in | 1 +
 data/os/debian.org/debian-5.xml.in | 1 +
 data/os/debian.org/debian-6.xml.in | 1 +
 4 files changed, 4 insertions(+)

diff --git a/data/os/debian.org/debian-3.xml.in b/data/os/debian.org/debian-3.xml.in
index abb5739..eddb1a9 100644
--- a/data/os/debian.org/debian-3.xml.in
+++ b/data/os/debian.org/debian-3.xml.in
@@ -2,6 +2,7 @@
 <!-- Licensed under the GNU General Public License version 2 or later.
      See http://www.gnu.org/licenses/ for a copy of the license text -->
   <os id="http://debian.org/debian/3">
+    <short-id>debian3.0</short-id>
     <short-id>debian3</short-id>
     <short-id>debianwoody</short-id>
     <_name>Debian GNU/Linux 3.0</_name>
diff --git a/data/os/debian.org/debian-4.xml.in b/data/os/debian.org/debian-4.xml.in
index 7a227a2..161a404 100644
--- a/data/os/debian.org/debian-4.xml.in
+++ b/data/os/debian.org/debian-4.xml.in
@@ -2,6 +2,7 @@
 <!-- Licensed under the GNU General Public License version 2 or later.
      See http://www.gnu.org/licenses/ for a copy of the license text -->
   <os id="http://debian.org/debian/4">
+    <short-id>debian4.0</short-id>
     <short-id>debian4</short-id>
     <short-id>debianetch</short-id>
     <_name>Debian GNU/Linux 4.0</_name>
diff --git a/data/os/debian.org/debian-5.xml.in b/data/os/debian.org/debian-5.xml.in
index e5ce063..7b502f5 100644
--- a/data/os/debian.org/debian-5.xml.in
+++ b/data/os/debian.org/debian-5.xml.in
@@ -2,6 +2,7 @@
 <!-- Licensed under the GNU General Public License version 2 or later.
      See http://www.gnu.org/licenses/ for a copy of the license text -->
   <os id="http://debian.org/debian/5">
+    <short-id>debian5.0</short-id>
     <short-id>debian5</short-id>
     <short-id>debianlenny</short-id>
     <_name>Debian GNU/Linux 5.0</_name>
diff --git a/data/os/debian.org/debian-6.xml.in b/data/os/debian.org/debian-6.xml.in
index 243c6d6..eb2110f 100644
--- a/data/os/debian.org/debian-6.xml.in
+++ b/data/os/debian.org/debian-6.xml.in
@@ -2,6 +2,7 @@
 <!-- Licensed under the GNU General Public License version 2 or later.
      See http://www.gnu.org/licenses/ for a copy of the license text -->
   <os id="http://debian.org/debian/6">
+    <short-id>debian6.0</short-id>
     <short-id>debian6</short-id>
     <short-id>debiansqueeze</short-id>
     <_name>Debian 6.0</_name>
-- 
2.20.1