diff options
| author | Andrew Gallant <jamslam@gmail.com> | 2016-09-22 17:48:41 -0400 |
|---|---|---|
| committer | Andrew Gallant <jamslam@gmail.com> | 2016-09-22 17:48:41 -0400 |
| commit | 49003e8488c751bdabbf68487db2cd04fd7a97d4 (patch) | |
| tree | 4ea192b5d5b08136ea511def04ee36f309e6a2a5 /doc/convert-to-man | |
| parent | 80c362623a96dcd18aa9ad68b91d060270964f87 (diff) | |
Add man page.
Diffstat (limited to 'doc/convert-to-man')
| -rwxr-xr-x | doc/convert-to-man | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/convert-to-man b/doc/convert-to-man new file mode 100755 index 00000000..7afa441b --- /dev/null +++ b/doc/convert-to-man @@ -0,0 +1,4 @@ +#!/bin/sh + +pandoc -s -t man rg.1.md -o rg.1 +sed -i 's/\.TH.*/.TH "rg" "1"/g' rg.1 |