Skip to content

Build docs should be in the manual #35122

New issue
New issue
Closed
#41313
Closed
Build docs should be in the manual#35122
#41313
@fredrikekre

Description

@fredrikekre
fredrikekre
opened on Mar 16, 2020

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.

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Assignees

No one assigned

    Labels

    docsThis change adds or pertains to documentationgood first issueIndicates a good issue for first-time contributors to Julia

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions