Merge branch 'fix/cmake-doc-error' into 'master'

fix/cmake-doc

Turning developer guide into a git submodule recently broke cmake configuration for docs in master.
This fixes that by copying the logic of tutorials submodule.

See merge request !752