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.

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

Add new mkdocs feature to suppress INFO output from nav; cleanup ai-testbed docs #246

Merged
merged 12 commits into from
Jul 28, 2023

Conversation

felker
Copy link
Member

@felker felker commented Jun 13, 2023

Closes #173. Upcoming release of Mkdocs 1.5.x adds new options, exclude_docs, not_in_nav that follow gitignore syntax. Will use this to suppress the many INFOs that get printed out:

INFO     -  The following pages exist in the docs directory, but are not included in the "nav" configuration:

See mkdocs/mkdocs#3224 and mkdocs/mkdocs#1888

Related #162.

  • Add --strict and PR hook?
  • Shorten the list of not_in_nav; force doc writers (sbank, ai-testbed pages) to put such docs in specially named subdirectories.

@felker felker marked this pull request as ready for review July 27, 2023 23:37
@felker felker changed the title Add new mkdocs feature to suppress INFO output from nav Add new mkdocs feature to suppress INFO output from nav; cleanup ai-testbed docs Jul 27, 2023
Copy link
Member

@saforem2 saforem2 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM 👍

@felker
Copy link
Member Author

felker commented Jul 27, 2023

There are/were tons of .md and other files (scripts, YAML, pure HTML) that were scattered around the ai-testbed/ subfolder that were not navigable from other pages or from the sidebar. I have removed some, and moved others in unused/ subdirs to let main doc authors decide what to do with them. But we shouldnt let this repo get cluttered with dead/placeholder documentation and other files too often. @vksastry can you take a look?

If a .md file is not supposed to appear in the navigation sidebar, but is instead linked to by other docs, it is best to put it into a not_in_nav/ subdirectory to make it explicit that this choice is intentional.

@felker felker mentioned this pull request Jul 28, 2023
@vksastry
Copy link
Contributor

vksastry commented Jul 28, 2023 via email

@felker felker merged commit a478574 into main Jul 28, 2023
@felker felker deleted the hotfix/not_in_nav branch July 28, 2023 21:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Unlinked/dead pages
3 participants