-
Notifications
You must be signed in to change notification settings - Fork 7
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
Allowing multiple results for fuzzy search? #88
Labels
Comments
I'm afraid Texdoc does not have a direct solution for that. We can add aliases for each We need either feature extension:
I would rather take the second option. Maintaining the list of abbreviations just for these cases will be another burden. |
wtsnjp
changed the title
unifonttable finds fonttable, not unicodefonttable
Allowing multiple results for fuzzy search?
Jan 22, 2023
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Labels
texdoc -l unifonttable prefers texmf-dist/doc/latex/fonttable/fonttable.pdf. That is somewhat understandable, but unicodefonttable.pdf doesn't appear anywhere in the list, which seems surprising. Maybe "uni" somehow needs to imply looking for "unicode"? There are several packages named unicode* ...
This is with the texdoc in current TeX Live, Texdoc 3.4.1 (2022-03-19),
though I doubt it matters.
The text was updated successfully, but these errors were encountered: