diff options
| author | Jose V Beneyto <joberui@ei.upv.es> | 2007-03-23 01:04:45 +0100 |
|---|---|---|
| committer | Jose V Beneyto <joberui@ei.upv.es> | 2007-03-23 01:04:45 +0100 |
| commit | b89186dfc0aa41110510dfe42b3b64ee3103d7a7 (patch) | |
| tree | afdc815d6f194944f816f7a171b3aea229ae040a /di/Pkgfile | |
| parent | fdde2a146becf2e9f0035bd52db436dcc2fffc27 (diff) | |
| download | contrib-b89186dfc0aa41110510dfe42b3b64ee3103d7a7.tar.gz contrib-b89186dfc0aa41110510dfe42b3b64ee3103d7a7.tar.xz | |
di: Updated to version 4.10
Diffstat (limited to 'di/Pkgfile')
| -rw-r--r-- | di/Pkgfile | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/di/Pkgfile b/di/Pkgfile index 30060c4c9..99d1c8176 100644 --- a/di/Pkgfile +++ b/di/Pkgfile @@ -4,17 +4,15 @@ # Packager: Jose V Beneyto, joberui at ei dot upv dot es name=di -version=4.9 +version=4.10 release=1 source=(http://www.gentoo.com/$name/$name-$version.tar.gz) build() { cd $name-$version make - install -d $PKG/usr/bin - install -m 755 $name $PKG/usr/bin + install -D -m 0755 $name $PKG/usr/bin/$name ln -s $name $PKG/usr/bin/mi - install -d $PKG/usr/man/man1/ - install -m 644 $name.1 $PKG/usr/man/man1 + install -D -m 0644 $name.1 $PKG/usr/man/man1/$name.1 ln -s $name.1 $PKG/usr/man/man1/mi.1 } |