make the webserver happy.

diff --git a/neurodebian/dde.py b/neurodebian/dde.py
index 143c814ce7d87e2eceffa54d582389d9a2f8e1a3..f0f43c7f5caa075717edf4bfce2a9d78a157e71a 100755 (executable)
--- a/neurodebian/dde.py
+++ b/neurodebian/dde.py
@@ -767,7 +767,8 @@ def write_pkgpages(jinja_env, cfg, db, outdir, addenum_dir, extracts_dir):
         pkgsdict, sectitle, title_tmpl = def_
         hltoc.write(underline_text(sectitle, '-'))
         ids = pkgsdict.keys()
-        for id_ in np.unique(ids):
+        ids.sort()
+        for id_ in ids:
             label = ('pkgs-%s-%s' % (sectitle, id_)).lower().replace(' ', '_').replace('/', '_')
             if not len(pkgsdict[id_]):
                 continue