Add an install-docs target that emits a helpful diagnostic (#3662)