[sr-dev] git:master:a1bdef91: cmake: messages about not finding docs-related tools made status