From f08f9c1b88b8d057eba2310a375e07219d45c567 Mon Sep 17 00:00:00 2001
From: Ciaran Gultnieks <ciaran@ciarang.com>
Date: Sun, 5 Dec 2010 11:29:31 +0000
Subject: [PATCH] Add an app id attribute to the index to make finding things
 easier

---
 update.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/update.py b/update.py
index 01fb2ef8..83bde2e2 100644
--- 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)