Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Sort targets in documentation. Fixes #1524.
Should be a simple but effective fix for #1524. Assume `sort` command is available.
- Loading branch information