diff options
author | Masafumi Max NAKANE <max@FreeBSD.org> | 1997-06-16 11:00:38 +0000 |
---|---|---|
committer | Masafumi Max NAKANE <max@FreeBSD.org> | 1997-06-16 11:00:38 +0000 |
commit | c7e688d5720ba1b132d53ba23348c92be31d7cdb (patch) | |
tree | a18319286dc0999ab350302cbb4f2c816d2fe319 /shells | |
parent | d6ae6dc467c4288e87cd6f99c161c01b2683ffc8 (diff) | |
download | ports-c7e688d5720ba1b132d53ba23348c92be31d7cdb.tar.gz ports-c7e688d5720ba1b132d53ba23348c92be31d7cdb.zip |
Notes
Diffstat (limited to 'shells')
-rw-r--r-- | shells/bash1/pkg-plist | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/shells/bash1/pkg-plist b/shells/bash1/pkg-plist index 1824684a3b09..cf0d01fa4634 100644 --- a/shells/bash1/pkg-plist +++ b/shells/bash1/pkg-plist @@ -4,4 +4,7 @@ bin/bash bin/bashbug man/man1/bash.1 man/man1/bash_builtins.1 +@unexec install-info --delete %D/info/bash.info %D/info/dir info/bash.info +@exec [ -f %D/info/dir ] || sed -ne '1,/Menu:/p' /usr/share/info/dir > %D/info/dir +@exec install-info %D/info/bash.info %D/info/dir |