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

Build docs should be in the manual #35122

Closed
fredrikekre opened this issue Mar 16, 2020 · 3 comments · Fixed by #41313
Closed

Build docs should be in the manual #35122

fredrikekre opened this issue Mar 16, 2020 · 3 comments · Fixed by #41313
Labels
docs This change adds or pertains to documentation good first issue Indicates a good issue for first-time contributors to Julia

Comments

@fredrikekre
Copy link
Member

The doc/build folder should probably be included in the devdocs section of the real manual? If that's not suitable the folder should probably move elsewhere -- the doc folder only contains things related to the manual.
@fredrikekre fredrikekre added docs This change adds or pertains to documentation good first issue Indicates a good issue for first-time contributors to Julia labels Mar 16, 2020
@Shashankjain12
Copy link

hey @fredrikekre I would like to take this issue

@fredrikekre fredrikekre mentioned this issue Apr 6, 2020
Merged
@ViralBShah ViralBShah mentioned this issue May 21, 2020
Merged
@ViralBShah
Copy link
Member

@Shashankjain12 Did you make progress on this?

@musm We probably want to accomplish this as part of the better documentation of the Windows Terminal

@AtsushiSakai AtsushiSakai mentioned this issue Aug 28, 2020
Closed
@ArunS-tack ArunS-tack mentioned this issue Jun 22, 2021
Merged
@suryaanshah
Copy link

Hey, I see that this issue should have been closed on 22nd June, but it's still open. Is there room for my contribution? Thanks!

fredrikekre added a commit to ArunS-tack/julia that referenced this issue Oct 7, 2021
@ArunS-tack @fredrikekre
Moved build docs to devdocs, fixes JuliaLang#35122.
bf71800 
Co-authored-by: Arun <sanganalarun@gmail.com>
Co-authored-by: Fredrik Ekre <ekrefredrik@gmail.com>
fredrikekre added a commit that referenced this issue Oct 7, 2021
@ArunS-tack @fredrikekre
Moved build docs to devdocs, fixes #35122. (#41313)
95d88e2 
Co-authored-by: Arun <sanganalarun@gmail.com>
Co-authored-by: Fredrik Ekre <ekrefredrik@gmail.com>
LilithHafner pushed a commit to LilithHafner/julia that referenced this issue Feb 22, 2022
@ArunS-tack @fredrikekre @LilithHafner
Moved build docs to devdocs, fixes JuliaLang#35122. (JuliaLang#41313)
ddb03de 
Co-authored-by: Arun <sanganalarun@gmail.com>
Co-authored-by: Fredrik Ekre <ekrefredrik@gmail.com>
LilithHafner pushed a commit to LilithHafner/julia that referenced this issue Mar 8, 2022
@ArunS-tack @fredrikekre @LilithHafner
Moved build docs to devdocs, fixes JuliaLang#35122. (JuliaLang#41313)
a477e36 
Co-authored-by: Arun <sanganalarun@gmail.com>
Co-authored-by: Fredrik Ekre <ekrefredrik@gmail.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
docs This change adds or pertains to documentation good first issue Indicates a good issue for first-time contributors to Julia
Projects
None yet
Milestone
No milestone
4 participants
@ViralBShah @fredrikekre @Shashankjain12 @suryaanshah