# HG changeset patch # User Pascal Bellard # Date 1380216833 0 # Node ID 98484136df501e3698abd1493c32fe1e725d70c6 # Parent ac66a25f97d60ba28692a197092dda3f6070ab18 vice: do not copy font to home diff -r ac66a25f97d6 -r 98484136df50 vice/receipt --- a/vice/receipt Thu Sep 26 16:57:10 2013 +0000 +++ b/vice/receipt Thu Sep 26 17:33:53 2013 +0000 @@ -17,6 +17,7 @@ compile_rules() { cd $src + sed -i 's/cp .(fontsdir)/echo &/' data/fonts/Makefile.* ./configure \ --prefix=/usr \ --enable-gnomeui \