diff --git a/doc/man/Makefile b/doc/man/Makefile
index f8c42513d4f4538e6a30a49936cac27f42ac47b3..9e5f4d2fd3ea93ba015be48154ae822bf7d20376 100644
--- a/doc/man/Makefile
+++ b/doc/man/Makefile
@@ -20,10 +20,10 @@ clean:
 install:
 	for i in $(MANEXTS); \
 	do \
-	   for page in man$$i/*.$$i \
+	   for page in man$$i/*.$$i; \
 	   do \
-	      echo installing $$page \
-	      install $$page $(MANDIR)/man$$i \
+	      echo installing $$page; \
+	      install $$page $(MANDIR)/man$$i; \
 	   done \
 	done