Small docs fix

70 jobs for master in 128 minutes and 48 seconds (queued for 3 seconds)
Status Job ID Name Coverage
  Build
passed #538112770
fast
make_16_04

00:06:39

passed #538112782
fast
make_18_04

00:02:42

passed #538112881
fast
make_18_04_nogui

00:04:36

passed #538112792
fast
make_20_04

00:05:21

passed #538112819
fast
make_32bit_bullseye

00:02:53

passed #538112922
fast
make_SSE

00:29:54

passed #538112842
debug
make_asan

01:23:24

passed #538112852
debug
make_asan_HP

01:05:27

passed #538112816
fast
make_bullseye

00:35:11

passed #538112809
fast
make_buster

00:25:20

passed #538112888
fast
make_clang

00:43:07

passed #538112834
fast
make_debug

00:19:00

passed #538112857
fast
make_minimal

00:19:05

passed #538112823
fast
make_no_mpi

00:31:01

passed #538112828
fast
make_no_vtk

00:06:25

passed #538112864
fast
make_opposite

00:04:43

passed #538112802
fast
make_stretch

00:02:54

passed #538112875
fast
make_suse15

00:48:19

passed #538112919
fast
mkHP_bf45

00:02:38

passed #538112908
fast
mkHP_float128

00:31:45

passed #538112899
fast
mkHP_long_double

00:43:32

passed #538112913
fast
mkHP_mpfr150

00:31:43

 
  Test
passed #538113071
check_16_04

00:03:07

passed #538113075
check_18_04

00:07:24

passed #538113081
check_20_04

00:05:37

passed #538113111
check_32bit_bullseye

00:04:48

passed #538113143
check_SSE

00:02:20

passed #538113103
check_bullseye

00:07:08

passed #538113094
check_buster

00:03:26

passed #538113132
check_clang

00:06:00

passed #538113124
check_minimal

00:02:07

passed #538113117
check_no_mpi

00:07:29

passed #538113121
check_no_vtk

00:06:06

passed #538113129
check_opposite

00:05:46

passed #538113090
check_stretch

00:02:27

passed #538113130
check_suse15

00:02:30

passed #538113142
ckHP_bf45

01:03:01

passed #538113137
ckHP_float128

00:18:59

passed #538113133
ckHP_long_double

00:03:51

passed #538113139
ckHP_mpfr150

01:13:57

passed #538113145
doc_18_04

00:11:32

passed #538112932
test_16_04

00:05:55

passed #538112938
test_18_04

00:08:12

passed #538113026
test_18_04_nogui

00:09:52

passed #538113018
test_18_foam

00:05:45

passed #538112943
test_20_04

00:07:17

passed #538112965
test_32bit_bullseye

00:06:02

passed #538113064
test_SSE

00:07:13

passed #538112957
test_bullseye

00:10:27

passed #538112952
test_buster

00:09:09

passed #538113030
test_clang

00:12:29

passed #538112989
test_minimal

00:01:32

passed #538112970
test_no_mpi

00:05:59

passed #538112980
test_no_vtk

00:05:01

passed #538112999
test_opposite

00:08:35

passed #538112947
test_stretch

00:05:18

passed #538113008
test_suse15

00:16:20

passed #538113057
tstHP_bf45

00:46:06

passed #538113044
tstHP_float128

00:10:06

passed #538113038
tstHP_long_double

00:08:20

passed #538113053
tstHP_mpfr150

00:50:35

 
  Pages
passed #538113147
pages

00:01:50

 
  Deb
passed #538155667
fast
deb_bionic

00:26:01

passed #538113148
fast
deb_bullseye

00:31:26

passed #538113153
fast
deb_buster

00:11:41

passed #538113201
fast
deb_focal

00:21:34

passed #538113155
fast
deb_stretch

00:29:19

passed #538113170
fast
deb_xenial

00:53:29

failed #538113180
fast
deb_bionic

00:04:16

 
  Deploy
passed pages:deploy

00:00:10