Module Name:	basesrc
Committed By:	tv
Date:		Mon Oct  8 22:19:55 UTC 2001

Modified Files:
	basesrc/tools/texinfo: Makefile
	basesrc/tools/toolchain: Makefile

Log Message:
Move the setting of DESTDIR from the environment to the command line, deals
with DESTDIR being set on the command line at the top level (as per MAKEFLAGS
propagation in newer make(1) sources).


To generate a diff of this commit:
cvs rdiff -r1.2 -r1.3 basesrc/tools/texinfo/Makefile
cvs rdiff -r1.4 -r1.5 basesrc/tools/toolchain/Makefile

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