[ Charset ISO-8859-1 unsupported, converting... ] > Peter Vreman wrote: > > > Use a shell script with a for loop and pass the values to the Makefile > > on the commandline with INSTALL_PREFIX= > I was afraid of that, but was looking for a more elegant solution :-( Another logical solution is to install once to tempdir, and copy 10 times.