diff --git a/mkdocs.yml b/mkdocs.yml index fce6df51b9decf11deb99ed35d1d05ae4d58c99d..5c3945e5adbe31d163cb4a3812521f24f6e0cec0 100644 --- a/mkdocs.yml +++ b/mkdocs.yml @@ -19,13 +19,12 @@ pages: - Developer Community: basics/community.md # page-tree = DONE - Useful Skills: basics/skills.md # page-tree = DONE - Planning Your Project: basics/planning.md # page-tree = DONE + # buildkit: /setup/buildkit.md # page-tree = NEED_NEW_PAGE # summary: See Github README for download instructions. Alternatively, follow links and install particular tools as-needed. + - Debugging: dev-tools/debugging.md # page-tree = NEED_PAGE_MOVE to /setup/debugging.md - Documentation: - Writing Documentation: documentation.md # page-tree = NEED_PAGE_MOVE to /documentation/writing.md - Markdown: markdownrules.md # page-tree = NEED_PAGE_MOVE to /documentation/markdown.md - Style Guide: best-practices/documentation-style-guide.md # page-tree = NEED_PAGE_MOVE to /documentation/style-guide.md -- Setup: - # buildkit: /setup/buildkit.md # page-tree = NEED_NEW_PAGE # summary: See Github README for download instructions. Alternatively, follow links and install particular tools as-needed. - - Debugging: dev-tools/debugging.md # page-tree = NEED_PAGE_MOVE to /setup/debugging.md - Core Development: - When to edit core: core/hacking.md # page-tree = NEED_PAGE_MOVE to /core/deciding.md # How to Contribute: /core/contributing.md # page-tree = NEED_NEW_PAGE # summary: General summary of process (git+issues+PRs+Mattermost)