diff options
| author | max <max@FreeBSD.org> | 1997-06-16 19:00:38 +0800 |
|---|---|---|
| committer | max <max@FreeBSD.org> | 1997-06-16 19:00:38 +0800 |
| commit | 43f375f6d80f28174ae9a2d4d30e9dd2fa15cede (patch) | |
| tree | 210c848a920e8f30f7a5266a20e81852363eb514 | |
| parent | 532d668d0d36e9a190b3432c86550bd3e432bcea (diff) | |
| download | freebsd-ports-gnome-43f375f6d80f28174ae9a2d4d30e9dd2fa15cede.tar.gz freebsd-ports-gnome-43f375f6d80f28174ae9a2d4d30e9dd2fa15cede.tar.zst freebsd-ports-gnome-43f375f6d80f28174ae9a2d4d30e9dd2fa15cede.zip | |
Use install-info to edit the dir file.
| -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 |