diff options
author | willemw12 | 2020-12-13 19:32:35 +0100 |
---|---|---|
committer | willemw12 | 2020-12-13 19:32:35 +0100 |
commit | 79a52819d9d819428e5386c86f20a429f4e0b1c0 (patch) | |
tree | b4f9235eed14c27fc4758e0b88ae866f93fd051b | |
parent | 8e932a1e63df6fe54d8622b0ece32c1e2c05d587 (diff) | |
download | aur-79a52819d9d819428e5386c86f20a429f4e0b1c0.tar.gz |
Skip gzip man page
-rw-r--r-- | PKGBUILD | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -32,7 +32,7 @@ package() { cd $pkgname-$pkgver install -dm755 "$pkgdir/usr/share/man/man1" - gzip doc/gnofract4d.1 > "$pkgdir/usr/share/man/man1/$pkgname.1.gz" + install -Dm644 doc/gnofract4d.1 "$pkgdir/usr/share/man/man1/$pkgname.1" ./setup.py install --root="$pkgdir" --optimize=1 } |