diff options
author | dana <dana@dana.is> | 2018-01-11 07:05:52 -0600 |
---|---|---|
committer | Andrew Gallant <jamslam@gmail.com> | 2018-01-11 08:05:52 -0500 |
commit | 34c0b1bc709f74678d7c1a24046c26571c25eaec (patch) | |
tree | ba30c8d68557aac89c10c8cc33ee3b196ca3def0 /complete | |
parent | 74e96b498cfda0b4c37b0e1ebd7d89f70202fd6d (diff) |
doc: various updates
* Don't use 'smart typography' when generating man page
* Document PATTERN and PATH
* Capitalise place-holder names consistently
* Add note about PATH overriding glob/ignore rules
* Update args.rs for new PATH capitalisation
Fixes #725
Diffstat (limited to 'complete')
0 files changed, 0 insertions, 0 deletions