wok-next diff 0install/receipt @ rev 21020

Cleaning is almost finished... I should proceed to upgrades.
author Aleksej Bobylev <al.bobylev@gmail.com>
date Fri Nov 02 14:15:08 2018 +0200 (2018-11-02)
parents f48456621a9d
children 7b8e000b629f
line diff
     1.1 --- a/0install/receipt	Tue Oct 16 16:46:05 2018 +0300
     1.2 +++ b/0install/receipt	Fri Nov 02 14:15:08 2018 +0200
     1.3 @@ -16,7 +16,7 @@
     1.4  # Can't build newer OCaml based version 2.13
     1.5  
     1.6  compile_rules() {
     1.7 -	python -B setup.py install --root=$DESTDIR || return 1
     1.8 +	python -B setup.py install --root=$install || return 1
     1.9  
    1.10  	# move man pages into a right place
    1.11  	mv $install/usr/man $install/usr/share