wok-6.x diff pari/receipt @ rev 23735

updated wireless-regdb (2019.06.03 -> 2020.04.29)
author: Hans-G?nter Theisgen
date: Fri May 01 09:55:09 2020 +0100 (2020-05-01)
parents: 79c1549784d0
children: 241fb98cab1c
     1.1 --- a/pari/receipt	Sat Mar 28 16:53:31 2020 +0100
     1.2 +++ b/pari/receipt	Fri May 01 09:55:09 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  }