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

2024-10-03 17:50:11 +02:00 · 2010-12-05 11:29:31 +00:00 · 2010-12-05 11:29:31 +00:00 · f08f9c1b88
commit f08f9c1b88
parent 8883126e06
1 changed files with 1 additions and 0 deletions
--- 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)