mirror of
https://github.com/BurntSushi/ripgrep.git
synced 2024-12-12 19:18:24 +02:00
34c0b1bc70
* 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
6 lines
174 B
Bash
Executable File
6 lines
174 B
Bash
Executable File
#!/bin/sh -e
|
|
|
|
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
|