Docu update.

4 jobs for develop in 16 minutes and 32 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #15886
mistral xen
build-gcc64

00:03:29

passed #15887
mistral xen
build-intel18

00:10:28

 
  Check
passed #15888
mistral xen
check-gcc64

00:05:31

passed #15889
mistral xen
check-intel18

00:06:02