Kai GrossJohann wrote: Which version of `makeinfo' do you have? The same one you have, I believe:
[bash2.05b.0 ~ 3 3] makeinfo --version makeinfo (GNU texinfo) 4.2 Sincerely, Luc. _______________________________________________ Tramp-devel mailing list [EMAIL PROTECTED] http://mail.nongnu.org/mailman/listinfo/tramp-devel
