diff options
| author | Michael Forney <mforney@mforney.org> | 2016-12-18 16:28:38 -0800 |
|---|---|---|
| committer | Michael Forney <mforney@mforney.org> | 2016-12-19 00:05:57 -0800 |
| commit | 2420bcc6b191d1db5d324a4b4dd597da25843338 (patch) | |
| tree | 895d2fc168ff855a1dac3b77ecdd91f1cf84cc88 /pkg/git/fetch.rc | |
| parent | 393306274e1042368f586516cff41c0e222493cb (diff) | |
Compress man pages
Diffstat (limited to 'pkg/git/fetch.rc')
| -rw-r--r-- | pkg/git/fetch.rc | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pkg/git/fetch.rc b/pkg/git/fetch.rc index 9d830d08..bec188d5 100644 --- a/pkg/git/fetch.rc +++ b/pkg/git/fetch.rc @@ -5,8 +5,8 @@ flag e + cd $1 shift -if([ -e man ]) - rm -rf man +if([ -e src/man ]) + rm -rf src/man if(! sha256sum -c sha256 >[2]/dev/null) { curl -L -O -K url @@ -14,4 +14,4 @@ if(! sha256sum -c sha256 >[2]/dev/null) { } archive=`{awk '{print $2}' sha256} -xzcat $archive | pax -r -s '/^\./man/' +xzcat $archive | pax -r -s ',^\.,src/man,' |