Hi Jim, > 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. Bruno
