Fixed weird sorting on some linux systems

1 files changed, 1 insertions, 1 deletions

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