wok diff maxima/receipt @ rev 21724

updated ptxdist again (2012.03.0 -> 2019.06.0)
author: Hans-G?nter Theisgen
date: Wed Jun 12 15:14:06 2019 +0100 (2019-06-12)
parents: ee5c8b018b62
children: afae00265386
     1.1 --- a/maxima/receipt	Thu Dec 05 20:42:36 2013 +0000
     1.2 +++ b/maxima/receipt	Wed Jun 12 15:14:06 2019 +0100
     1.3 @@ -28,7 +28,7 @@
     1.4  genpkg_rules()                                      
     1.5  {
     1.6  	mkdir -p $fs/usr/share/applications
     1.7 -	cp -a $_pkg/usr $fs
     1.8 +	cp -a $install/usr $fs
     1.9  	cat > $fs/usr/share/applications/xmaxima.desktop <<EOT
    1.10  [Desktop Entry]
    1.11  Encoding=UTF-8