doc/Makefile
changeset 4031 15b2528239e4
parent 4030 a48971ae1387
child 4032 c9160748c094
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -37,7 +37,7 @@ install: man
 	for i in $(MAN) ; do \
 	  subdir=`echo $$i | sed -n 's/..*\.\([0-9]\)$$/man\1/p'` ; \
 	  mkdir -p $(MANDIR)/$$subdir ; \
-	  $(INSTALL) $$i $(MANDIR)/$$subdir ; \
+	  $(INSTALL) $$i $(DESTDIR)/$(MANDIR)/$$subdir ; \
 	done
 
 clean: