wok diff discount/receipt @ rev 23710

updated ubuntu-font-family (0.80 -> 0.83)
author Hans-G?nter Theisgen
date Tue Apr 28 17:22:54 2020 +0100 (2020-04-28)
parents fb8526ee16f5
children 5ea0ce1cecc0
line diff
     1.1 --- a/discount/receipt	Thu Jan 23 17:26:34 2020 +0100
     1.2 +++ b/discount/receipt	Tue Apr 28 17:22:54 2020 +0100
     1.3 @@ -20,7 +20,7 @@
     1.4  compile_rules()
     1.5  {
     1.6  	./configure.sh --prefix=/usr &&
     1.7 -	make &&
     1.8 +	make -j 1 &&
     1.9  	make DESTDIR=$DESTDIR install
    1.10  }
    1.11