[PATCH] Add missing DESTDIR to dejagnu

[Nick Clifton]

Hi Martin,

> 2005-05-26  Martin Koegler  <mkoegler@auto.tuwien.ac.at>
> 
>         * Makefile.am: Honor $DESTDIR for dejagnu.h

Approved and applied.  (Plus I did regenerate Makefile.in and check this 
in as well).

Cheers
   Nick