X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Fman%2FMakefile;h=ab20fde7b18ccb35ae575f5e290e58a23fc85ae6;hb=9259deb86455a17c05ea7ba982f7d400ac69e3f6;hp=45de7436d2b1e78799f693eff9b3d9d45a91441f;hpb=51dec67c5368ca5d7ff44237dec51a826210c681;p=ghc-hetmet.git

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