Description: Fix makefile for Debian
Author: Maarten L. Hekkelman <maarten@hekkelman.com>
Last-Update: Mon, 23 Nov 2020 14:29:07 +0100
Forwarded: yes

--- a/GNUmakefile.in
+++ b/GNUmakefile.in
@@ -33,7 +33,7 @@
 					  @BOOST_PROGRAM_OPTIONS_LIB@ \
 					  @BOOST_DATE_TIME_LIB@
 
-prefix				= @prefix@
+prefix				= $(DESTDIR)@prefix@
 exec_prefix			= @exec_prefix@
 bindir				= @bindir@
 datarootdir			= @datarootdir@
