[sr-dev] git:master:8cc60c03: cmake: If BUILD_DOC options is set to ON, include doc and man targets to default target!