diff --git a/compatMakefile b/compatMakefile index 807fc5c8..c2192513 100644 --- a/compatMakefile +++ b/compatMakefile @@ -140,7 +140,7 @@ info: make.info dvi: make.dvi make.info: make.texinfo - $(MAKEINFO) -I$(srcdir) $(srcdir)/make.texinfo + $(MAKEINFO) -I$(srcdir) $(srcdir)/make.texinfo -o make.info make.dvi: make.texinfo $(TEXI2DVI) $(srcdir)/make.texinfo