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.

Sign up for GitHub

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

Jump to bottom

Add --temp option to docs/make.jl, use docs/clones by default #63

Merged
merged 1 commit into from
Aug 30, 2023
Merged

Add --temp option to docs/make.jl, use docs/clones by default #63

merged 1 commit into from
Aug 30, 2023

Conversation

mortenpi
Copy link
Member

Useful when locally building the MultiDocumenter docs.

@pfitzseb
Copy link
Member

We could also make this the default, no?

@mortenpi
Copy link
Member Author

Yeah, I think that's a good idea. Will update this tomorrow.

@mortenpi mortenpi changed the title Add --no-temp option to docs/make.jl Add --temp option to docs/make.jl, use docs/clones by default Aug 29, 2023
@mortenpi mortenpi requested a review from pfitzseb August 29, 2023 03:34
@mortenpi
Copy link
Member Author

Updated. docs/clones is now the default, and you can pass --temp to use /tmp.

@mortenpi mortenpi merged commit 99b3a7e into main Aug 30, 2023
@delete-merged-branch delete-merged-branch bot deleted the mp/no-temp branch August 30, 2023 09:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@pfitzseb pfitzseb pfitzseb approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@mortenpi @pfitzseb