make help: don't mention configure.sh file - suggest "make configure"
make help: don't mention configure.sh file - suggest "make configure"
DISTORTEC/distortos,jasmin-j/distortos,jasmin-j/distortos,jasmin-j/distortos,CezaryGapinski/distortos,DISTORTEC/distortos,jasmin-j/distortos,DISTORTEC/distortos,jasmin-j/distortos,CezaryGapinski/distortos,DISTORTEC/distortos,CezaryGapinski/distortos,CezaryGapinski/distortos,CezaryGapinski/distortos