From a28fefd1156c44eeb135dc48f16cc6c6fad78e08 Mon Sep 17 00:00:00 2001
From: Kevin Quick <kquick@galois.com>
Date: Fri, 23 Jun 2023 12:12:12 -0700
Subject: [PATCH] Revert template sorting and sort on doc versions generation.

---
 .github/gen_html_context.py          | 4 ++--
 docs/RefMan/_templates/versions.html | 4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/.github/gen_html_context.py b/.github/gen_html_context.py
index dd3baaba6..659b84562 100644
--- 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
index 6dc887334..5e98bb404 100644
--- 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>