more verbose message
Install doc in doc/simgrid.
Merge branch 'v3_9_x'
Merge remote-tracking branch 'github/master'