Andy Dougherty wrote: > > I don't see an easy way around this. Fortunately, there are several existing > workarounds. The following patch to INSTALL makes this explicit: > > --- INSTALL.old 2003-10-31 15:18:29.000000000 -0500 > +++ INSTALL 2003-10-31 15:25:53.000000000 -0500 Thanks, applied as #21596.