wok diff pari/receipt @ rev 23659

updated sord (0.16.2 -> 0.16.4)
author: Hans-G?nter Theisgen
date: Wed Apr 22 09:04:19 2020 +0100 (2020-04-22)
parents: 79c1549784d0
children: 241fb98cab1c
     1.1 --- a/pari/receipt	Sat Mar 28 16:53:31 2020 +0100
     1.2 +++ b/pari/receipt	Wed Apr 22 09:04:19 2020 +0100
     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  }