Fix CMakeLists.txt for sphinx/.