>>>>> Zack Weinberg <zack@wolery.cumb.org> writes: > What I mean is, if you have the info files in the source directory, > but makeinfo's too old, they won't get installed. That seems wrong. We should still be able to install the pregenerated info files on a system that lacks makeinfo. Jason