Updated to make Docset install optional.