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.
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.