diff options
| author | Masafumi Max NAKANE <max@FreeBSD.org> | 1997-06-12 12:31:01 +0000 |
|---|---|---|
| committer | Masafumi Max NAKANE <max@FreeBSD.org> | 1997-06-12 12:31:01 +0000 |
| commit | ce9bab7bc4fc89fd72b776bed873ffed1b065dee (patch) | |
| tree | f559e219843f689abda252c0f6c3fc9dd52e347c /devel/gmake381/pkg-plist | |
| parent | Comment out all commands related to info-install in Makefile.in. (diff) | |
Use info-install to add entry into info/dir.
Diffstat (limited to 'devel/gmake381/pkg-plist')
| -rw-r--r-- | devel/gmake381/pkg-plist | 11 |
1 files changed, 3 insertions, 8 deletions
diff --git a/devel/gmake381/pkg-plist b/devel/gmake381/pkg-plist index ae5acd455ca6..b941b1337ee3 100644 --- a/devel/gmake381/pkg-plist +++ b/devel/gmake381/pkg-plist @@ -1,11 +1,6 @@ bin/gmake man/man1/gmake.1.gz +@unexec install-info --delete %D/info/make.info %D/info/dir info/make.info -info/make.info-1 -info/make.info-2 -info/make.info-3 -info/make.info-4 -info/make.info-5 -info/make.info-6 -info/make.info-7 -info/make.info-8 +@exec [ -f %D/info/dir ] || sed -ne '1,/Menu:/p' /usr/share/info/dir > %D/info/dir +@exec install-info %D/info/make.info %D/info/dir |