wok diff fltk-doc/receipt @ rev 21907

updated shared-mime-info and shared-mime-info-dev again (1.6 -> 1.14)
author: Hans-G?nter Theisgen
date: Fri Oct 04 14:50:33 2019 +0100 (2019-10-04)
parents: b36d3d58ef5c
children: ec27bdc69711
     1.1 --- a/fltk-doc/receipt	Sat Mar 02 13:00:42 2019 +0100
     1.2 +++ b/fltk-doc/receipt	Fri Oct 04 14:50:33 2019 +0100
     1.3 @@ -14,5 +14,5 @@
     1.4  genpkg_rules()
     1.5  {
     1.6  	mkdir -p $fs/usr/share
     1.7 -	cp -a $install/usr/share/doc $fs/usr/share
     1.8 +	cp -a $install/usr/share/doc  $fs/usr/share
     1.9  }