From 35ffa695abbb93a848c4f42ddd185cb449adcc05 Mon Sep 17 00:00:00 2001 From: max Date: Mon, 16 Jun 1997 15:42:02 +0000 Subject: Remove make.info* before executing makeinfo. --- devel/gmake381/files/patch-aa | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'devel/gmake381/files') diff --git a/devel/gmake381/files/patch-aa b/devel/gmake381/files/patch-aa index 3045e2524579..4ef16a9c505f 100644 --- a/devel/gmake381/files/patch-aa +++ b/devel/gmake381/files/patch-aa @@ -22,7 +22,7 @@ make.info: make.texinfo - $(MAKEINFO) -I$(srcdir) $(srcdir)/make.texinfo -o make.info -+ $(MAKEINFO) --no-split -I$(srcdir) $(srcdir)/make.texinfo -o make.info ++ rm -f make.info* && $(MAKEINFO) --no-split -I$(srcdir) $(srcdir)/make.texinfo -o make.info make.dvi: make.texinfo $(TEXI2DVI) $(srcdir)/make.texinfo -- cgit