diff options
| author | Satoshi Asami <asami@FreeBSD.org> | 1997-06-12 05:21:16 +0000 |
|---|---|---|
| committer | Satoshi Asami <asami@FreeBSD.org> | 1997-06-12 05:21:16 +0000 |
| commit | 10ebba78ef2a908e36f341e291ad8af136076751 (patch) | |
| tree | e87214a10e42cf4da6f1d7c605b6df06f87613d8 /devel/gmake381 | |
| parent | 75ea96fe925c92aa5bfc427549759922ae56a232 (diff) | |
Notes
Diffstat (limited to 'devel/gmake381')
| -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 22a6c018ea98..399d9ffa65e8 100644 --- a/devel/gmake381/files/patch-aa +++ b/devel/gmake381/files/patch-aa @@ -27,7 +27,7 @@ if [ -r ./make.info ]; then dir=.; else dir=$(srcdir); fi; \ - install-info --infodir=$(infodir) $$dir/make.info; \ + if [ -e $(infodir)/dir ] ; then \ -+ /usr/bin/install-info --info-dir=$(infodir) --defentry='* gmake: (make). GNU make utility' $$dir/make.info; fi ; \ ++ /usr/bin/install-info --info-dir=$(infodir) --defentry='* gmake: (make). GNU make utility' $$dir/make.info; fi ; \ else true; fi $(mandir)/$(manprefix)make.$(manext): make.man |