From 8c380e85c816ecba9b3b101b8d61d3787c0c421d Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Tue, 28 Feb 2023 01:30:08 +0100
Subject: Fixed weird sorting on some linux systems

---
 docs/gen.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/gen.sh b/docs/gen.sh
index 67ffd7b..5d295e7 100755
--- a/docs/gen.sh
+++ b/docs/gen.sh
@@ -4,7 +4,7 @@ set -e
 
 rm -rf std/ && mkdir -p std/
 
-files=$(find ../std/ -type f | sort)
+files=$(find ../std/ -type f -printf '%h\0%d\0%p\n' | sort -t '\0' -n | awk -F '\0' '{print $3}')
 links=""
 
 for file in $files; do
-- 
cgit v1.2.3