diff options
Diffstat (limited to 'devel/gmake381/files')
| -rw-r--r-- | devel/gmake381/files/patch-aa | 2 |
1 files changed, 1 insertions, 1 deletions
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 |