Skip to content

Commit

Permalink
Updates release notes for PR #4243
Browse files Browse the repository at this point in the history
  • Loading branch information
ponylang-main committed Nov 15, 2022
1 parent 8fd4d92 commit 93e0ebb
Show file tree
Hide file tree
Showing 2 changed files with 6 additions and 5 deletions.
5 changes: 0 additions & 5 deletions .release-notes/docgen-search-home-file.md

This file was deleted.

6 changes: 6 additions & 0 deletions .release-notes/next-release.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,6 @@
## Don't include generated documentation "home file" in search index

We've updated the documentation generation to not include the "home file" that lists the packages in the search index. The "exclude from search engine" functionality is only available in the `mkdocs-material-insiders` theme.

The home file is extra noise in the index that provides no value. For anyone using the insiders theme, this will be an improvement in the search experience.

0 comments on commit 93e0ebb

Please sign in to comment.