fix CMake variable expansion for man2html