fixed bug #25672, patch #6182 by adding DESTDIR support to Makefile.in
[xboard.git] / installer /
drwxr-xr-x   ..
drwxr-xr-x - WinBoard-4.2.7