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

updated ruby and ruby-dev (2.6.4 -> 2.7.1)
author: Hans-G?nter Theisgen
date: Tue Apr 14 15:51:31 2020 +0100 (2020-04-14)
parents: 79c1549784d0
children: 241fb98cab1c
     1.1 --- a/pari/receipt	Sat Mar 28 16:53:31 2020 +0100
     1.2 +++ b/pari/receipt	Tue Apr 14 15:51:31 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  }