From 6cb86bd6e9598291ba6271d0920e3d6d73958645 Mon Sep 17 00:00:00 2001 From: ache Date: Wed, 4 Oct 1995 20:39:50 +0000 Subject: Ok, if anybody really needs bash_builtins.1 (which is almost useles), here PROPER fix and re-enabling it again. Please, step over on ports owned by me only if you 100% shure. --- shells/bash1/pkg-plist | 1 + 1 file changed, 1 insertion(+) (limited to 'shells/bash1/pkg-plist') diff --git a/shells/bash1/pkg-plist b/shells/bash1/pkg-plist index 17d8113..c522ba05 100644 --- a/shells/bash1/pkg-plist +++ b/shells/bash1/pkg-plist @@ -4,4 +4,5 @@ bin/bash @unexec echo "updating /etc/shells"; cp /etc/shells /etc/shells.bak; (grep -v %D/%F /etc/shells.bak) >/etc/shells bin/bashbug man/man1/bash.1.gz +man/man1/bash_builtins.1.gz info/bash.info -- cgit v1.1