# HG changeset patch # User Jonathan Smith # Date 1168893098 18000 # Node ID 15b2528239e40f684ee1c8eae42f2e0e4560f0f2 # Parent a48971ae138704d1ea6e749a7e9b8ee9a323fa89 honor DESTDIR env variable for docs' make install diff -r a48971ae1387 -r 15b2528239e4 doc/Makefile --- a/doc/Makefile Mon Jan 15 15:30:50 2007 -0500 +++ b/doc/Makefile Mon Jan 15 15:31:38 2007 -0500 @@ -37,7 +37,7 @@ 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: