correct COMPILE_CMAKE.TXT after the last change to names of CMake options
1 file changed