Re: Patch to bashref.texi

[Vincent Belaïche]

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/root     301063 bashref.info-1
 -rw-rw-r--    karl/root     128001 bashref.info-2
--8<-------------coupez ici---------------fin--------------->8---

The installation of these files fails. This is the basic reason why I
reported a bug.

I tried to compile the main file manually with makeinfo-buffer, but some
of the texi where missing (probably they are generated by
makefile). Then I was too lasy to dig further.

BT,
  Vincent.

Chet Ramey a écrit :
>> 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
>