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
This commit is contained in:
dana
2018-01-11 08:05:52 -05:00
committed by Andrew Gallant
parent 74e96b498c
commit 34c0b1bc70
5 changed files with 49 additions and 23 deletions
+1 -1
View File
@@ -1,5 +1,5 @@
#!/bin/sh -e
pandoc -s -t man rg.1.md -o rg.1
pandoc -s -f markdown-smart -t man rg.1.md -o rg.1
sed -i.bak 's/\.TH.*/.TH "rg" "1"/g' rg.1
rm -f rg.1.bak # BSD `sed` requires the creation of a back-up file