[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: bash: bashref.info - Change index name from bash to bashref
|
From: |
Chet Ramey |
|
Subject: |
Re: bash: bashref.info - Change index name from bash to bashref |
|
Date: |
Fri, 14 Aug 2009 15:49:09 -0400 |
|
User-agent: |
Thunderbird 2.0.0.22 (Macintosh/20090605) |
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.
Chet
--
``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/