Module Name:	basesrc
Committed By:	tv
Date:		Thu Oct  4 17:55:17 UTC 2001

Modified Files:
	basesrc/tools/texinfo: Makefile

Log Message:
Clear DESTDIR from the environment when invoking make on the toolchain's
GNU makefiles.  Some of these tools are (amazingly) DESTDIR aware, but
we don't want that handling for host tools.

Fixes PR bin/14079.


To generate a diff of this commit:
cvs rdiff -r1.1 -r1.2 basesrc/tools/texinfo/Makefile

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.