diff options
author | davidovski <david@davidovski.xyz> | 2022-03-03 00:13:55 +0000 |
---|---|---|
committer | davidovski <david@davidovski.xyz> | 2022-03-03 00:13:55 +0000 |
commit | 2fea415a8b6ab9eae92686a182341d8f5fe56d00 (patch) | |
tree | 889fee82b0ebde2870be7673fc7eff9c2bc2efeb /repo/devel/autoconf2-13.xibuild | |
parent | 92a76bb80efda3fcb96cb0a990ae5bfa658449d1 (diff) |
fixed docbook issues
Diffstat (limited to 'repo/devel/autoconf2-13.xibuild')
-rw-r--r-- | repo/devel/autoconf2-13.xibuild | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/repo/devel/autoconf2-13.xibuild b/repo/devel/autoconf2-13.xibuild index 2bd4e7c..abddc17 100644 --- a/repo/devel/autoconf2-13.xibuild +++ b/repo/devel/autoconf2-13.xibuild @@ -13,8 +13,8 @@ DESC="GNU programs for producing shell scripts that can automatically configure prepare() { patch -Np1 -i autoconf-2.13-consolidated_fixes-1.patch && - mv -v autoconf.texi autoconf213.texi && - rm -v autoconf.info + mv autoconf.texi autoconf213.texi && + rm autoconf.info } @@ -25,6 +25,6 @@ build () { package () { make DESTDIR=$PKG_DEST install - install -v -m644 autoconf213.info $PKG_DEST/usr/share/info && + install -m644 autoconf213.info $PKG_DEST/usr/share/info && install-info --info-dir=$PKG_DEST/usr/share/info autoconf213.info } |