wok-current diff pari/receipt @ rev 24146

ventoy: move log.txt to /tmp
author Pascal Bellard <pascal.bellard@slitaz.org>
date Thu Nov 18 10:12:29 2021 +0000 (2021-11-18)
parents 79c1549784d0
children 241fb98cab1c
line diff
     1.1 --- a/pari/receipt	Sat Mar 28 16:53:31 2020 +0100
     1.2 +++ b/pari/receipt	Thu Nov 18 10:12:29 2021 +0000
     1.3 @@ -29,7 +29,7 @@
     1.4  	make all &&
     1.5  	make DESTDIR=$install install 2>&1 | sed \
     1.6  		-e "s/dvi': No such/dvi': no such/" \
     1.7 -		-e "s/ps': No such/ps': no such/"
     1.8 +		-e "s/tex: No such/tex: no such/"
     1.9  
    1.10  	rm -rf $src/build
    1.11  }