diff --git a/compatMakefile b/compatMakefile
index 5a620f77..67ed8a51 100644
--- a/compatMakefile
+++ b/compatMakefile
@@ -192,7 +192,7 @@ $(bindir)/$(instname): make
 $(infodir)/$(instname).info: make.info
 	for file in make.info*; do \
 	  $(INSTALL_DATA) $$file \
-	    `echo $@ | sed "s/$(instname).info\$$/$$file/"`; \
+	    `echo $@ | sed "s,$(instname).info\$$,$$file,"`; \
 	done
 
 $(mandir)/$(instname).$(manext): make.man