diff options
| author | asami <asami@FreeBSD.org> | 1997-06-12 05:21:16 +0000 |
|---|---|---|
| committer | asami <asami@FreeBSD.org> | 1997-06-12 05:21:16 +0000 |
| commit | b5eba692e9dda1fad60c46ee7d58ef94231bd022 (patch) | |
| tree | 3180d126ca192d425e8e17a009ccbf6653f41947 /devel/gmake381 | |
| parent | 2537d921894f741a005e5324e12f553dbfa70d70 (diff) | |
| download | FreeBSD-ports-b5eba692e9dda1fad60c46ee7d58ef94231bd022.zip FreeBSD-ports-b5eba692e9dda1fad60c46ee7d58ef94231bd022.tar.gz | |
Align this info dir entry with others.
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 22a6c01..399d9ff 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 |
