Chet Ramey <[email protected]> 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
