Convert Unlinked Git Submodules to Intersphinx

These projects don't have any docs linked in the current documentation,
so there is little reason to include their submodules here.

Converting the non-archived projects to intersphinx link should reduce
the build time.

Change-Id: Ifdb614d53ac5cbdfa4c94ac09d990f796004cf10
Signed-off-by: Trevor Bramwell <tbramwell@linuxfoundation.org>
(cherry picked from commit d4dfbf8ff6f2a4e222befc824facf9dab70e2638)

1 files changed, 0 insertions, 0 deletions

diff --git a/docs/submodules/domino b/docs/submodules/domino
deleted file mode 160000
-Subproject 8330eea4474bf90a358c2255b1d0c6403829579