fixed bug #25672, patch #6182 by adding DESTDIR support to Makefile.in
[xboard.git] / sounds / README
2003-11-17 Tim MannRemoved woodthunk.wav, as its copyright status is uncle...
2003-11-17 Tim MannGenerate the xboard man page (now covering cmail too...