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 >
