- @echo -e "\
- all update everything\n\
- clean remove all generated stuff in $(outdir)\n\
- check run self tests\n\
+ @echo -e "Generic targets:\n\
+ all * update everything except documentation with images\n\
+ clean * remove all generated stuff in $(outdir)\n\
+ bin-clean * same as clean, except that mf/out is preserved\n\