diff options
| -rwxr-xr-x | docs/gen.sh | 2 |
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 |