Hello
The thing is that when you get the manual from this page
[[http://www.gnu.org/software/bash/manual/bashref.info.tar.gz]]
Then you get the following files:
--8<-coupez ici--début-->8---
-rw-rw-r--karl/root 5429 bashref.info
-rw-rw-r--karl
On 4/20/10 1:56 PM, Vincent Belaïche wrote:
> Hello
>
> The thing is that when you get the manual from this page
>
> [[http://www.gnu.org/software/bash/manual/bashref.info.tar.gz]]
I don't distribute that. Try the bashref manual from the source
distribution.
Chet
--
``The lyf so short, the c
> The two following parts of this messages are
> 1. Changelog
> 2. Patch
>
> Note that I did not checked the patch.
If you had, you would have discovered that doc/Makefile installs the generated
file as `bash.info'.
Chet
--
``The lyf so short, the craft so long to lerne.'' - Chaucer
The two following parts of this messages are
1. Changelog
2. Patch
Note that I did not checked the patch.
Vincent.
2010-04-20 Vincent Belaïche
* bashref.texi: Correct @direnty declaration, otherwise after
install-info is made, the manuel cannot be found
*** bashref.texi.
