Do not sort INI comma lists by default.

This means the order in the INI file is maintained.

1 files changed, 6 insertions, 2 deletions

diff --git a/docs.rtems.org/configuration.py b/docs.rtems.org/configuration.py
index 58407e3..332a021 100644
--- a/docs.rtems.org/configuration.py
+++ b/docs.rtems.org/configuration.py
@@ -71,11 +71,15 @@ class configuration:
                 self.ctx.fatal('config: section %s not found' % (section))
         return []
 
-    def _comma_list(self, section, label, error = True):
+    def _comma_list(self, section, label, error = True, sort = False):
         items = self._get_item(section, label, error)
         if items is None:
             return []
-        return sorted(set([a.strip() for a in items.split(',')]))
+        items = list(set([a.strip() for a in items.split(',')]))
+        if sort:
+            return sorted(items)
+        else:
+            return items
 
     def _xml_create_doc(self, cat, name, legacy, release, html, pdf):
         doc = cat.createElement('doc')