diff options
| -rw-r--r-- | compatMakefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compatMakefile b/compatMakefile index 807fc5c..c219251 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 |