diff options
| author | hubertf <hubertf@pkgsrc.org> | 1998-01-01 05:02:14 +0000 |
|---|---|---|
| committer | hubertf <hubertf@pkgsrc.org> | 1998-01-01 05:02:14 +0000 |
| commit | fe8bf0f2f7281341090ab6dbba7a821577e77cdd (patch) | |
| tree | e420fa80104a7cb7eda7607be1c0b0f5ae9a7384 /shells | |
| parent | 7cb5f2ac1345de09de17712a0f56416b15ad5581 (diff) | |
| download | pkgsrc-fe8bf0f2f7281341090ab6dbba7a821577e77cdd.tar.gz | |
install-info groks --entry, not --defentry
Diffstat (limited to 'shells')
| -rw-r--r-- | shells/bash2/patches/patch-aa | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/shells/bash2/patches/patch-aa b/shells/bash2/patches/patch-aa index 16d0302deba..f30ca9d79b7 100644 --- a/shells/bash2/patches/patch-aa +++ b/shells/bash2/patches/patch-aa @@ -14,7 +14,7 @@ # run install-info if it is present to update the info directory if $(SHELL) -c 'install-info --version' >/dev/null 2>&1; then \ ! install-info \ -! --defentry="* BASH: (bash). Bash Reference Manual." \ +! --entry="* BASH: (bash). Bash Reference Manual." \ ! --dir-file=$(infodir)/dir $(infodir)/bash.info; \ else true; fi |