--- Makefile.distrib	2007/07/10 19:20:40	1757
+++ Makefile.distrib	2007/07/10 19:20:44	1758
@@ -315,7 +315,7 @@
 
 install_doc: doc
 	$(HIDE)mkdir -p $(MANDIR)/man1
-	$(HIDE)(cd doc; $(MAKE) install INSTALL=$(INSTALL) MANDIR=$(MANDIR) HIDE=$(HIDE))
+	$(HIDE)(cd doc; $(MAKE) install INSTALL="$(INSTALL)" MANDIR=$(MANDIR) HIDE=$(HIDE))
 	mkdir -p $(DOCDIR)/img
 	cp web/doc/*.html $(DOCDIR)/
 	cp CHANGES INSTALL INSTALL.WIN32 README AUTHORS LICENSE $(DOCDIR)/