Fix type in CMakeLists.txt doc install section