bash: bashref.info - Change index name from bash to bashref

[Jari Aalto]

    -rw-rw-r--  1  502 root   5429 2009-03-16 18:36 bashref.info
    -rw-rw-r--  1  502 root 301063 2009-03-16 18:36 bashref.info-1
    -rw-rw-r--  1  502 root 128001 2009-03-16 18:36 bashref.info-2
    -rw-r--r--  1 root src  117639 2009-03-16 18:40 bashref.info.tar.gz

    $ install-info --debug bashref.info /usr/local/share/info/dir

    $ emacs -Q -f info
    m Bash <return>

ERROR is displayed and Bash info pages cannot be accessed:

    Info-find-file: Info file bash does not exist

CORRECTION

The problems is incorrect entry in bashref.info. The following patch
fixes it.

Jari

>From 4df277d4306b8a1cdf4bc72761ab4d43aed51a84 Mon Sep 17 00:00:00 2001
From: Jari Aalto <jari.aalto@cante.net>
Date: Fri, 14 Aug 2009 21:16:54 +0300
Subject: [PATCH] bashref.info: Fix index name from 'bash' to 'bashrf'

Signed-off-by: Jari Aalto <jari.aalto@cante.net>
---
 bashref.info |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/bashref.info b/bashref.info
index 312398b..a88de09 100644
--- a/bashref.info
+++ b/bashref.info
@@ -28,7 +28,7 @@ preserved on all copies.
 
 INFO-DIR-SECTION Basics
 START-INFO-DIR-ENTRY
-* Bash: (bash).                     The GNU Bourne-Again SHell.
+* Bash: (bashref).                     The GNU Bourne-Again SHell.
 END-INFO-DIR-ENTRY
 
 
-- 
1.6.3.3