Update the documentation to reflect recent changes to the CMakeLists.txt file