diff --git a/doc/lib/element_deps.py b/doc/lib/element_deps.py index b9ca0bb32..fc9028e74 100644 --- a/doc/lib/element_deps.py +++ b/doc/lib/element_deps.py @@ -33,7 +33,7 @@ def make_dep_list(title, deps): lines = [] lines.append(title) lines.append("+" * len(title)) - for dep in deps: + for dep in sorted(deps): lines.append("* :doc:`../%s/README`" % dep) lines.append('') # careful to end with a blank line return lines