You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Allow us to use different words to describe certain features to
make it easier for people to find it using their own vocabulary.
Without the need to sneak in the documentation all the possible words.
e.g. In this case searching for "exclude" could not help the
user as that word was not used in our documentation.
See rust-lang#2218
Problem
I have some pages which have duplicate information. I'd like to be able to exclude pages and/or chapters from the search bar.
Proposed Solution
Maybe within
[output.html.search]
we could provide a list of pages to anexclude
option?Notes
No response
The text was updated successfully, but these errors were encountered: