Update doc

5 jobs for v1.7.2 in 8 minutes and 53 seconds (queued for 27 seconds)
latest
Status Job ID Name Coverage
  Build Testinstall
passed #314770
dailyBuildMasterAll

00:03:02

 
  Doc Coverage
passed #314778
Doc

00:03:13

passed #314774
TestCoverage

00:02:18

80.0%
 
  Deploy
passed #314781
pages

00:00:19

passed pages:deploy

00:01:50