On both the release branch and the trunk, install.texi is substantially newer than INSTALL. Poking around in the generated Makefile, I don't see INSTALL as a target of any default dependency lists. Should it be? Also, don't we need to be sure to regenerate this when commiting changes to install.texi? RJL