> I won't apply this patch unless I know why it is needed, and even
> then, I think we should find some solution other than disabling help
Basically, the problem was I had was a crash due to the setvbuf problem.
At that moment, I didn't setvbuf was crashing, so I disabled the code.
If sed and makeinfo are available the code works OK, except that the
sed for Windows (GnuWin32 package) uses double-quotes and not
single-quote; hence the following patch: