At Mon, 25 Apr 2011 16:43:11 +0300, Tuomo Keskitalo wrote: > Ok, thanks for confirmation! I finally got it to work (I'm not too > familiar with texinfo..) > > For others who might have this problem: The file doc/texinfo.tex seems > to be overwritten by the system's version of texinfo.tex when you run > autoreconf. I simply replaced the original doc/texinfo.tex file from > GSL source before making the documentation via e.g. "make ps". At > least that worked for me.
Yes, the one that is checked in is a more recent copy but it gets overwritten if you run autoreconf. I've asked on the texinfo mailing list if there can be a new relese of texinfo to get the fixed version out into the distributions.
