[Bug-dejagnu] DESTDIR variable

[konush]

Hello. 

I want to say about an installation problem in DejaGnu. If I do
 ./configure --prefix=/usr/devel --includedir=/usr/devel/include \
       _some other options of this type_
 make
 make DESTDIR=/my/home/dir/dejagnu install
I get an error message "mkdir: /usr/devel/include: permission denied".
As I see, the problem is in Makefile, and I can't use DESTDIR variable if I 
change initial path for include directory. 

But if I do
 ./configure --prefix=/usr --includedir=/usr/include \
       _some other options of this type_
 make
 make DESTDIR=/my/home/dir/dejagnu install
everything will be allright. 

Please, consider this issue. 

Yours faithfully,
                Maxim, Moscow