Revert template sorting and sort on doc versions generation.

GaloisInc · Jun 23, 2023 · a28fefd · a28fefd
1 parent 274837f
commit a28fefd
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/.github/gen_html_context.py b/.github/gen_html_context.py
@@ -9,8 +9,8 @@
 bldtgt = lambda n: os.path.join('/', sys.argv[1].split('/')[1], n, 'RefMan.html')
 
 html_context={'current_version': sys.argv[2],
-              'versions':[(v, bldtgt(v)) for v in d if not v.startswith('PR_')],
-              'pull_reqs':[(v, bldtgt(v)) for v in d if v.startswith('PR_')]}
+              'versions':sorted([(v, bldtgt(v)) for v in d if not v.startswith('PR_')]),
+              'pull_reqs':sorted([(v, bldtgt(v)) for v in d if v.startswith('PR_')])}
 
 if not os.path.isdir('_templates'):
     # Older versions of the repo do not have this file present as it was only

diff --git a/docs/RefMan/_templates/versions.html b/docs/RefMan/_templates/versions.html
@@ -6,13 +6,13 @@
     <div class="rst-other-versions">
       <dl>
         <dt>{{ _('Versions') }}</dt>
-        {% for slug, url in versions|dictsort %}
+        {% for slug, url in versions %}
         <dd><a href="{{ url }}">{{ slug }}</a></dd>
         {% endfor %}
       </dl>
       <dl>
         <dt>{{ _('Pull Requests') }}</dt>
-        {% for slug, url in pull_reqs|dictsort %}
+        {% for slug, url in pull_reqs %}
         <dd><a href="{{ url }}">{{ slug }}</a></dd>
         {% endfor %}
       </dl>