mirror of
https://github.com/BurntSushi/ripgrep.git
synced 2024-12-12 19:18:24 +02:00
5 lines
82 B
Plaintext
5 lines
82 B
Plaintext
|
#!/bin/sh
|
||
|
|
|
||
|
|
pandoc -s -t man rg.1.md -o rg.1
|
||
|
|
sed -i 's/\.TH.*/.TH "rg" "1"/g' rg.1
|