CMake: Use DESTDIR for helptags generation.