--- /var/tmp/Makefile	2015-08-23 13:18:12.000000000 +0200
+++ Makefile	2015-08-23 13:19:24.000000000 +0200
@@ -3,6 +3,7 @@
 TARGET=opt
 # Install prefix
 PREFIX?=/usr/local
+DESTDIR=
 # Library directory of hevea
 LIBDIR=$(PREFIX)/lib/hevea
 # Where to install programms
@@ -45,6 +46,7 @@
 	echo ALLLIB=\"$(ALLLIB)\" && \
 	echo HTMLLIB=\"$(HTMLLIB)\" && \
 	echo TEXTLIB=\"$(TEXTLIB)\" && \
+	echo DESTDIR=\"$(DESTDIR)\" && \
 	echo INFOLIB=\"$(INFOLIB)\") > $@
 
 clean:: config.sh