> > Probably all instances of datadir in dejagnu/Makefile.in should be > changed to something else. Here's an untested sample patch. Let me > know if it does the right thing. > > Ian > Of course, that works. :) Thanks Philippe