From 699b7fc969ade3c9dd15474f59d27d3c35a67f18 Mon Sep 17 00:00:00 2001 From: Julius Krumbiegel <22495855+jkrumbiegel@users.noreply.github.com> Date: Mon, 15 Jul 2024 12:19:50 +0200 Subject: [PATCH] Sort versions in picker newest to oldest (#4035) sort versions in picker newest to oldest --- docs/buildutils/deploydocs.jl | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/docs/buildutils/deploydocs.jl b/docs/buildutils/deploydocs.jl index 867dc82112e..baa18395945 100644 --- a/docs/buildutils/deploydocs.jl +++ b/docs/buildutils/deploydocs.jl @@ -124,8 +124,9 @@ function push_build(; version_folders = filter(all_folders) do x tryparse(VersionNumber, x) !== nothing end + sort!(version_folders, by = VersionNumber, rev = true) - max_version = sort!(version_folders, by = VersionNumber)[end] + max_version = version_folders[begin] open(joinpath(dirname, "versions.js"), "w") do io println(io, """