From 21d968fbacfd18ab14542b227476ad3762037eaf Mon Sep 17 00:00:00 2001
From: Marco Lents <lentsmarco@gmail.com>
Date: Thu, 20 Nov 2025 10:56:30 +0100
Subject: [PATCH] sort functions

---
 crawler.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/crawler.py b/crawler.py
index 54e2861..8d328d2 100644
--- a/crawler.py
+++ b/crawler.py
@@ -347,7 +347,7 @@ def get_functions(elem):
             if grandchild.text.strip() != ""
         )
     out.append((current_heading, sorted(current_body)))
-    return out
+    return sorted(out)
 
 
 def parse_speech(page):