Skip to content

Conversation

@story645
Copy link
Member

@story645 story645 commented Jan 22, 2026

Updated the file structure content because it was out of date. Pulled some out into a preamble, but ideally the preamble for this doc should be a summary of the doc types like the one proposed in #26389 (& I might do that as a follow up PR).

Reorganize the documentation docs structure a drop to remove the miscellaneous section, as roughly discussed in #28578

  • "move documentation" moved under "write ReST" since it's mostly instructions on using a directive (like most of the content under write rest)
  • "navbar and style" moved under "overview" since it's also a "how to find things"
  • pulled out build into stand alone section w/ "options" and "show" as subsections

PR summary

PR checklist

@github-actions github-actions bot added the Documentation: devdocs files in doc/devel label Jan 22, 2026
@story645
Copy link
Member Author

Doc build failures unrelated to this pr :/

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

Labels

Documentation: devdocs files in doc/devel

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant