Hi, the linitan warning info-document-has-wrong-extension refers to Policy 12.2, but I can not find anything about the name scheme in this section. Where is said, that a file in /usr/share/info must be named info*.gz? Bye, Jörg. -- Die beste Tarnung ist die Wahrheit. Die glaubt einem keiner! (Max Frisch: ‚Biedermann und die Brandstifter‘)