From: Ian Lynagh <igloo@earth.li>
Date: Fri, 31 Aug 2007 01:42:53 +0000 (+0000)
Subject: Make the manpage obey DESTDIR
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=c7bb4350cb20b83e5f4be535bf6ad7719a5eb466

Make the manpage obey DESTDIR
---

diff --git a/docs/man/Makefile b/docs/man/Makefile
index 45de743..ab20fde 100644
--- a/docs/man/Makefile
+++ b/docs/man/Makefile
@@ -30,8 +30,8 @@ flags.xml: ../users_guide/flags.xml
 	tail -n +2 $< >> $@
 
 install-docs:: $(MAN_PAGE).$(MAN_SECTION)
-	$(INSTALL_DIR) $(mandir)
-	$(INSTALL_DIR) $(mandir)/man$(MAN_SECTION)
-	$(INSTALL_MAN) $(INSTALL_OPTS) $(MAN_PAGE).$(MAN_SECTION) $(mandir)/man$(MAN_SECTION)
+	$(INSTALL_DIR) $(DESTDIR)$(mandir)
+	$(INSTALL_DIR) $(DESTDIR)$(mandir)/man$(MAN_SECTION)
+	$(INSTALL_MAN) $(INSTALL_OPTS) $(MAN_PAGE).$(MAN_SECTION) $(DESTDIR)$(mandir)/man$(MAN_SECTION)
 
 include $(TOP)/mk/target.mk