Skip to content

Better order for stdlibs in the Julia manual navbar#60155

Merged
fingolfin merged 1 commit intomasterfrom
mh/docs-stdlib-order
Nov 21, 2025
Merged

Better order for stdlibs in the Julia manual navbar#60155
fingolfin merged 1 commit intomasterfrom
mh/docs-stdlib-order

Conversation

@fingolfin
Copy link
Copy Markdown
Member

Resolves #50351 albeit with a bit of a hack.

Current:
Screenshot 2025-11-17 at 14 51 36

With this patch:
Screenshot 2025-11-17 at 14 52 11

I deliberately left "The Julia REPL" alone (so it is still sorted under "REPL") as that felt more natural to me compared to sorting it under "Julia" but obviously this could easily be changed as well.

@fingolfin fingolfin added the docs This change adds or pertains to documentation label Nov 17, 2025
@fingolfin fingolfin requested a review from mortenpi November 20, 2025 20:47
@fingolfin fingolfin added backport 1.12 Change should be backported to release-1.12 backport 1.13 Change should be backported to release-1.13 labels Nov 21, 2025
@fingolfin fingolfin merged commit 9af9b15 into master Nov 21, 2025
10 of 12 checks passed
@fingolfin fingolfin deleted the mh/docs-stdlib-order branch November 21, 2025 11:09
KristofferC pushed a commit that referenced this pull request Nov 24, 2025
Resolves #50351 albeit with a bit of a hack.

I deliberately left "The Julia REPL" alone (so it is still sorted under
"REPL") as that felt more natural to me compared to sorting it under
"Julia" but obviously this could easily be changed as well.

(cherry picked from commit 9af9b15)
KristofferC pushed a commit that referenced this pull request Nov 24, 2025
Resolves #50351 albeit with a bit of a hack.

I deliberately left "The Julia REPL" alone (so it is still sorted under
"REPL") as that felt more natural to me compared to sorting it under
"Julia" but obviously this could easily be changed as well.

(cherry picked from commit 9af9b15)
@KristofferC KristofferC mentioned this pull request Nov 24, 2025
22 tasks
KristofferC pushed a commit that referenced this pull request Nov 28, 2025
Resolves #50351 albeit with a bit of a hack.

I deliberately left "The Julia REPL" alone (so it is still sorted under
"REPL") as that felt more natural to me compared to sorting it under
"Julia" but obviously this could easily be changed as well.

(cherry picked from commit 9af9b15)
KristofferC pushed a commit that referenced this pull request Nov 28, 2025
Resolves #50351 albeit with a bit of a hack.

I deliberately left "The Julia REPL" alone (so it is still sorted under
"REPL") as that felt more natural to me compared to sorting it under
"Julia" but obviously this could easily be changed as well.

(cherry picked from commit 9af9b15)
@KristofferC KristofferC removed the backport 1.13 Change should be backported to release-1.13 label Dec 3, 2025
KristofferC pushed a commit that referenced this pull request Dec 4, 2025
Resolves #50351 albeit with a bit of a hack.

I deliberately left "The Julia REPL" alone (so it is still sorted under
"REPL") as that felt more natural to me compared to sorting it under
"Julia" but obviously this could easily be changed as well.

(cherry picked from commit 9af9b15)
@KristofferC KristofferC mentioned this pull request Dec 16, 2025
21 tasks
@KristofferC KristofferC removed the backport 1.12 Change should be backported to release-1.12 label Dec 17, 2025
kpamnany pushed a commit to RelationalAI/julia that referenced this pull request Jan 21, 2026
Resolves JuliaLang#50351 albeit with a bit of a hack.

I deliberately left "The Julia REPL" alone (so it is still sorted under
"REPL") as that felt more natural to me compared to sorting it under
"Julia" but obviously this could easily be changed as well.

(cherry picked from commit 9af9b15)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

docs This change adds or pertains to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

List of stdlibs in the docs is sorted awkwardly

3 participants