Formerly compatMakefile.~62~

diff --git a/compatMakefile b/compatMakefile
index 38582ffc7ae48162d64f51c0e2a074eaa9a27b7b..b885038f7e867b4ef8970aff200c547bc3c037ff 100644 (file)
--- a/compatMakefile
+++ b/compatMakefile
@@ -188,9 +188,9 @@ $(bindir)/$(instname): make
 
 $(infodir)/$(instname).info: make.info
        for file in $(srcdir)/make.info*; do \
-         name="`basename $$file`"
+         name="`basename $$file`"; \
          $(INSTALL_DATA) $$file \
-           `echo $@ | sed "s/$(instname).info\$$/$$name/"`
+           `echo $@ | sed "s/$(instname).info\$$/$$name/"`; \
        done
 
 $(mandir)/$(instname).$(manext): make.man