In message < m3g0n95vps.fsf@otr.mynet.cygnus.com >you write: > The description of LANGUAGES in the INSTALL file wasn't updated since > the integration of the new frontends. I propose the following patch: INSTALL is a generated file; I think you need to be fixing install.texi. jeff