Luca Barbato 409f648047 Make the dox.sh more verbose ... Make easier spot where the errors happen.		2018-07-11 15:41:07 +02:00
..
stdarch	Make the dox.sh more verbose	2018-07-11 15:41:07 +02:00