> What about INSTALL? It's generated from install.texi, but it is in the repository and so should be regenerated and committed in any change that touches install.texi. Thanks, Roland