# HG changeset patch
# User diego
# Date 1223116769 0
# Node ID f85ff39d7524c41fa4e0ebf9ea4b9fa316e5b6c8
# Parent  216f4d0f0de8f4deee17ba32b8a42260c8ded5dc
Do not set DESTDIR to an empty value so that it can be overridden on the
command line.

diff -r 216f4d0f0de8 -r f85ff39d7524 configure
--- a/configure	Sat Oct 04 10:18:42 2008 +0000
+++ b/configure	Sat Oct 04 10:39:29 2008 +0000
@@ -7762,7 +7762,6 @@
 MAN_LANGS = $man_langs
 MAN_LANG_ALL = $man_lang_all
 
-DESTDIR =
 prefix = \$(DESTDIR)$_prefix
 BINDIR = \$(DESTDIR)$_bindir
 DATADIR = \$(DESTDIR)$_datadir