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

Moved build docs from doc/build to devdocs/build #41313

Merged
merged 1 commit into from
Oct 7, 2021
Merged

Moved build docs from doc/build to devdocs/build #41313

merged 1 commit into from
Oct 7, 2021

Conversation

ArunS-tack
Copy link
Contributor

Closes #35122.

@ArunS-tack
Copy link
Contributor Author

Good to merge? @fredrikekre @ViralBShah

@fredrikekre fredrikekre self-assigned this Jun 26, 2021
@ArunS-tack @fredrikekre
Moved build docs to devdocs, fixes JuliaLang#35122.
bf71800 
Co-authored-by: Arun <[email protected]>
Co-authored-by: Fredrik Ekre <[email protected]>
@fredrikekre fredrikekre added docs This change adds or pertains to documentation merge me PR is reviewed. Merge when all tests are passing labels Oct 7, 2021
@fredrikekre fredrikekre merged commit 95d88e2 into JuliaLang:master Oct 7, 2021
@DilumAluthge DilumAluthge removed the merge me PR is reviewed. Merge when all tests are passing label Oct 8, 2021
@ArunS-tack ArunS-tack deleted the build branch October 8, 2021 01:27
LilithHafner pushed a commit to LilithHafner/julia that referenced this pull request Feb 22, 2022
@ArunS-tack @fredrikekre @LilithHafner
Moved build docs to devdocs, fixes JuliaLang#35122. (JuliaLang#41313)
ddb03de 
Co-authored-by: Arun <[email protected]>
Co-authored-by: Fredrik Ekre <[email protected]>
LilithHafner pushed a commit to LilithHafner/julia that referenced this pull request Mar 8, 2022
@ArunS-tack @fredrikekre @LilithHafner
Moved build docs to devdocs, fixes JuliaLang#35122. (JuliaLang#41313)
a477e36 
Co-authored-by: Arun <[email protected]>
Co-authored-by: Fredrik Ekre <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@fredrikekre fredrikekre

Labels
docs This change adds or pertains to documentation
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Build docs should be in the manual
3 participants
@ArunS-tack @DilumAluthge @fredrikekre