Bruno Haible wrote: > >> I too would prefer to use Paul's patch and thus to remove the >> doc/INSTALL* exemptions. >> >> Bruno, I know it's not your preference, but would that be ok with you. > > My objections were mostly esthetic, hence minor. You can decide to > ignore my esthetic preferences.
Thanks, Bruno.