Makefile.in (FLAGS_TO_PASS): Also pass DESTDIR. 2003-01-09 Christian Cornelssen <ccorn@cs.tu-berlin.de> 2003-01-09 Christian Cornelssen <ccorn@cs.tu-berlin.de> 2003-01-09 Christian Cornelssen <ccorn@cs.tu-berlin.de> 2003-01-09 Christian Cornelssen <ccorn@cs.tu-berlin.de>