Documentation overview
allow watch_eiffeltest.sh to run -flat