Delete bash.man.file