Add an app id attribute to the index to make finding things easier

diff --git a/update.py b/update.py
index 01fb2ef8dbe6b85392abeeeba5ab47b78e25f38e..83bde2e2119a9afa8a0bd891ee6d24ed91695db1 100644 (file)
--- a/update.py
+++ b/update.py
@@ -192,6 +192,7 @@ for app in apps:
     if app['disabled'] is None:
         apps_inrepo += 1
         apel = doc.createElement("application")
+        apel.setAttribute("id", app['id'])
         root.appendChild(apel)
 
         addElement('id', app['id'], doc, apel)