Merge branch 'doc' into 'master'

Fix CI pipeline

See merge request !56
5 jobs for master in 5 minutes and 15 seconds
Status Job ID Name Coverage
  Style
passed #30628
integration
checkpatch

00:01:06

passed #30627
integration
repoquality

00:00:06

 
  Build
passed #30629
make:generic

00:01:40

passed #30630
knl
make:knl

00:02:25

 
  Docs
passed #30631
integration
readthedocs

00:00:02