wok diff hp15c/receipt @ rev 22868

updated gnutls and gnutls-dev again (3.3.16 -> 3.6.12)
author Hans-G?nter Theisgen
date Fri Feb 21 15:22:35 2020 +0100 (2020-02-21)
parents 5386dbd4c0b4
children d8c511e24c20
line diff
     1.1 --- a/hp15c/receipt	Thu May 03 15:14:01 2018 +0200
     1.2 +++ b/hp15c/receipt	Fri Feb 21 15:22:35 2020 +0100
     1.3 @@ -20,6 +20,11 @@
     1.4  	mkdir -p $fs/usr/share/hp15c $fs/usr/share/applications \
     1.5  		 $fs/usr/share/fonts/truetype/ttf-dejavu
     1.6  	cp -a $src/* $fs/usr/share/hp15c
     1.7 +	sed -i 's|firefox|tazweb midori &|' \
     1.8 +		$fs/usr/share/hp15c/HP-15C.tcl \
     1.9 +		$fs/usr/share/hp15c/doc/preferences.htm
    1.10 +	sed -i 's|url_open \$helpfile|url_open file:///$helpfile|' \
    1.11 +		$fs/usr/share/hp15c/HP-15C.tcl
    1.12  	mv $fs/usr/share/hp15c/HP-15C_Simulator_Font.ttf \
    1.13  	   $fs/usr/share/fonts/truetype/ttf-dejavu
    1.14  	cat > $fs/usr/share/hp15c/HP-15C.sh <<EOT