Navigation docs #3155

Job	Run time
ubuntu-clang-deprecated Debug	21m 43s
ubuntu-clang-deprecated Release	22m 53s
ubuntu-clang-quaternions Debug	22m 6s
ubuntu-clang-quaternions Release	22m 39s
ubuntu-clang-tbb Debug	23m 37s
ubuntu-clang-tbb Release	24m 22s
ubuntu-clang-cayleymap Debug	21m 32s
ubuntu-clang-cayleymap Release	23m 39s
ubuntu-clang-system-libs Debug	21m 37s
ubuntu-clang-system-libs Release	23m 24s
ubuntu-no-boost Debug	22m 47s
ubuntu-no-boost Release	28m 8s
ubuntu-no-unstable Debug	18m 37s
ubuntu-no-unstable Release	19m 14s
	5h 16m 18s

Provide feedback