diff options
Diffstat (limited to 'shells/bash/pkg-plist')
| -rw-r--r-- | shells/bash/pkg-plist | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/shells/bash/pkg-plist b/shells/bash/pkg-plist index 34e6a439bb6f..86a6e5b99a46 100644 --- a/shells/bash/pkg-plist +++ b/shells/bash/pkg-plist @@ -4,10 +4,13 @@ bin/bash bin/bashbug man/man1/bash.1.gz man/man1/bashbug.1.gz +@unexec install-info --delete %D/info/bash.info %D/info/dir info/bash.info +@exec [ -f %D/info/dir -o ! -f /usr/share/info/dir ] || sed -ne '1,/Menu:/p' /usr/share/info/dir > %D/info/dir share/doc/bash/article.ps.gz share/doc/bash/bashref.ps.gz share/doc/bash/bash.html share/doc/bash/bashref.html share/doc/bash/bashref_toc.html share/doc/bash/article.txt +@dirrm share/doc/bash |