Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

fix a bug related to order of pages #143

Merged
merged 1 commit into from
Aug 10, 2023

Conversation

sl-solution
Copy link
Contributor

No description provided.

@brucala
Copy link
Contributor

brucala commented Jul 1, 2023

I've been using DemoCards,jl and found that the order of pages is not as expected after setting an explicit order in the config.json file. I have not looked at the details of this solution, but I feel that it can solve the problem I'm observing.
@johnnychen94 have you consider merging this pull request?

@johnnychen94 johnnychen94 merged commit 7656155 into JuliaDocs:master Aug 10, 2023
@johnnychen94
Copy link
Member

Sorry I missed this!

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.

3 participants