Skip to content

Conversation

@Rahban1
Copy link
Contributor

@Rahban1 Rahban1 commented Apr 25, 2025

this improved the build time by a lot, thank you @fredrikekre for the suggestion :) ref : #2676 (comment)

@fingolfin
Copy link
Collaborator

I verified that with this patch, building the Oscar manual is fast again :-)

@fingolfin fingolfin merged commit 3ff554f into JuliaDocs:master Apr 29, 2025
24 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants