zsh-users/zsh-syntax-highlighting
View on GitHubdocs: Deduplicate ZSH_HIGHLIGHT_STYLES values documentation
Open
#236 opened on Nov 24, 2015
Taskcomponent:docsgood first issueresolution:if-and-when-needed
Description
As ded1c8789b07155c833fc49abbb422b93233e81c + 7ee350efcd125c7b6595bf5f59b55c74eae01ad4 show, a bit of the highlighters documentation is duplicated a number of times. Deduplicate it, either by restructuring the docs (to add interlinking) or by using some sort of #include-like facility.
Reminder: the consumers for docs are:
- Users browsing the homepage (which is just the github repository renderer),
- Users running from a git worktree,
- Users running from a
make installed tree.