[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Why info files need to be named info-*.gz?



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‘)



Reply to: