diff options
| author | Danny Rawlins <monster.romster@gmail.com> | 2020-04-17 22:46:10 +1000 |
|---|---|---|
| committer | Danny Rawlins <monster.romster@gmail.com> | 2020-04-17 22:46:10 +1000 |
| commit | c16114a7ab90132317508adc884609e1890a83ba (patch) | |
| tree | 6ce3bd7ad0fe9ba7a254577325d9a8aed31d25fc /help2man/Pkgfile | |
| parent | b08a8b67689f9d18e3590e11c00952dc85c32f35 (diff) | |
| download | contrib-c16114a7ab90132317508adc884609e1890a83ba.tar.gz contrib-c16114a7ab90132317508adc884609e1890a83ba.tar.xz | |
help2man: 1.47.12 -> 1.47.13
Diffstat (limited to 'help2man/Pkgfile')
| -rw-r--r-- | help2man/Pkgfile | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/help2man/Pkgfile b/help2man/Pkgfile index 0cd341bea..12d5b3076 100644 --- a/help2man/Pkgfile +++ b/help2man/Pkgfile @@ -3,7 +3,7 @@ # Maintainer: Danny Rawlins, crux at romster dot me name=help2man -version=1.47.12 +version=1.47.13 release=1 source=(https://ftp.gnu.org/gnu/$name/$name-$version.tar.xz) @@ -18,9 +18,6 @@ build() { make make DESTDIR=$PKG install - rm -rf $PKG/usr/share/info + rm -r $PKG/usr/share/info - rmdir \ - $PKG/usr/lib/help2man \ - $PKG/usr/lib } |