diff options
| author | max <max@FreeBSD.org> | 1997-06-16 23:42:02 +0800 |
|---|---|---|
| committer | max <max@FreeBSD.org> | 1997-06-16 23:42:02 +0800 |
| commit | 35ffa695abbb93a848c4f42ddd185cb449adcc05 (patch) | |
| tree | 460a90611bd3a9af0e05622d9600642dab3c70a3 /devel/gmake381/files | |
| parent | 82afc9a5be86f2731e8f29279f2fb767ded6d686 (diff) | |
| download | freebsd-ports-gnome-35ffa695abbb93a848c4f42ddd185cb449adcc05.tar.gz freebsd-ports-gnome-35ffa695abbb93a848c4f42ddd185cb449adcc05.tar.zst freebsd-ports-gnome-35ffa695abbb93a848c4f42ddd185cb449adcc05.zip | |
Remove make.info* before executing makeinfo.
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 |