diff options
| -rw-r--r-- | docs.rtems.org/configuration.py | 8 |
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') |