wok diff pmail/receipt @ rev 22665

updated e3 (2.8 -> 2.82)
author Hans-G?nter Theisgen
date Fri Jan 17 10:00:55 2020 +0100 (2020-01-17)
parents 51a1ebbda768
children 453c249b6219
line diff
     1.1 --- a/pmail/receipt	Fri Oct 18 19:43:55 2013 +0000
     1.2 +++ b/pmail/receipt	Fri Jan 17 10:00:55 2020 +0100
     1.3 @@ -13,11 +13,10 @@
     1.4  # Rules to configure and make the package.
     1.5  compile_rules()
     1.6  {
     1.7 -	cd $src
     1.8  	sed -i  -e "s|BINDIR = @prefix@/bin|BINDIR = $DESTDIR/usr/bin|" \
     1.9 -		-e "s|MANDIR = @prefix@/man/man1|MANDIR = $DESTDIR/usr/man/man1|" \
    1.10 +		-e "s|MANDIR = @prefix@/man/man1|MANDIR = $DESTDIR/usr/share/man/man1|" \
    1.11  		Makefile.in
    1.12 -	mkdir -p $DESTDIR/usr/bin $DESTDIR/usr/man/man1
    1.13 +	mkdir -p $DESTDIR/usr/bin $DESTDIR/usr/share/man/man1
    1.14  	./configure --prefix=/usr --infodir=/usr/share/info \
    1.15  	--mandir=/usr/share/man $CONFIGURE_ARGS &&
    1.16  	make -j 1 &&
    1.17 @@ -30,4 +29,3 @@
    1.18  	mkdir -p $fs/usr
    1.19  	cp -a $install/usr/bin $fs/usr
    1.20  }
    1.21 -