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

[Jari Aalto]

Chet Ramey <chet.ramey@case.edu> writes:

> Jari Aalto wrote:
>>     -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
>
> Why did you do this, instead of `make install' in the doc subdirectory?
> The Makefile creates bash.info from bashref.info and installs it with
> the correct name and index.

According to:

    http://www.gnu.org/software/bash/manual/

    - Info document (120K bytes gzipped tar file).

Downloading and install_

    wget http://www.gnu.org/software/bash/manual/bashref.info.tar.gz
    tar -xf *.gz
    ls -la
    -rw-r--r--  1 foo foo   5429 2009-03-16 18:36 bashref.info
    -rw-r--r--  1 foo foo 301063 2009-03-16 18:36 bashref.info-1
    -rw-r--r--  1 foo foo 128001 2009-03-16 18:36 bashref.info-2
    -rw-r--r--  1 foo foo 117639 2009-03-16 18:40 bashref.info.tar.gz

There is no Makefile; what would be the appropriate contact to fix this?

Jari