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

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