diff -r 6e28048f3e74 -r edb06d57511f Makefile --- a/Makefile Sat Feb 20 15:20:24 2016 +0200 +++ b/Makefile Sat Feb 20 23:47:53 2016 +0200 @@ -102,6 +102,7 @@ { \ echo '