Modified user manual name in dist script