>>> "Zaretskii" == Zaretskii Eli <[EMAIL PROTECTED]> writes:
[...] >> What happens when you unpack this tarball? Does tar >> automatically renames these files? Zaretskii> If you unpack with DJTAR, a program supplied with Zaretskii> DJGPP, it will indeed rename the files. >> [*] By the bye, I note that the behavior you describe breaks the >> Automake rules that distribute and install foo.info and >> foo.info-*. Should these rules be fixed to also distribute and >> install foo.i* files, or would this causes trouble on other >> platforms? Zaretskii> The rules should be fixed, yes. Fixing the `install' rule is easy enough. Fixing the `dist' rule seems impossible to me. Karl told me that makeinfo would not read foo.inf, or foo.iNN on other platforms; so these files can't be distributed as-is. Or will DJTAR rename foo.iNN back to foo.info-NN when building a tarball? -- Alexandre Duret-Lutz _______________________________________________ Help-texinfo mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/help-texinfo
