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

[Chet Ramey]

Jari Aalto wrote:

>> 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?

I don't know.  I didn't really have anything to do with making that
available, or with that web site.  Maybe gnu@gnu.org?

-- 
``The lyf so short, the craft so long to lerne.'' - Chaucer
                 ``Ars longa, vita brevis'' - Hippocrates
Chet Ramey, ITS, CWRU    chet@case.edu    http://cnswww.cns.cwru.edu/~chet/