Hi all, sometimes ago I had a crash and I ended up loosing the dir file in the /usr/info directory. How can I recreate it? thanks graziano