diff options
| -rw-r--r-- | devel/gmake/files/patch-aa | 2 | ||||
| -rw-r--r-- | devel/gmake381/files/patch-aa | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/devel/gmake/files/patch-aa b/devel/gmake/files/patch-aa index 22a6c018ea98..399d9ffa65e8 100644 --- a/devel/gmake/files/patch-aa +++ b/devel/gmake/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 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 |