diff --git a/doc/Makefile.in b/doc/Makefile.in
index 9b4530ee..d6db64a6 100644
--- a/doc/Makefile.in
+++ b/doc/Makefile.in
@@ -112,13 +112,15 @@ install.info: wget.info
 	$(top_srcdir)/mkinstalldirs $(DESTDIR)$(infodir)
 	-if test -f wget.info; then \
 	  for file in wget.info wget.info-*[0-9]; do \
-	    test -f "$$file" && \
+            if test -f "$$file"; then \
 	      $(INSTALL_DATA) "$$file" "$(DESTDIR)$(infodir)/$$file" ; \
+	    fi; \
 	  done; \
 	else \
 	  for file in $(srcdir)/wget.info $(srcdir)/wget.info-*[0-9]; do \
-	    test -f "$$file" && \
+            if test -f "$$file"; then \
 	      $(INSTALL_DATA) "$$file" "$(DESTDIR)$(infodir)/`basename $$file`" ; \
+	    fi; \
 	  done; \
 	fi