[sr-dev] git:master:763d3622: cmake: Make docs install optional