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 g...@gnu.org? -- ``The lyf so short, the craft so long to lerne.'' - Chaucer ``Ars longa, vita brevis'' - Hippocrates Chet Ramey, ITS, CWRU c...@case.edu http://cnswww.cns.cwru.edu/~chet/