[Pkg-octave-devel] Internal texinfo error during octave-interval packaging

[Oliver Heimlich]

On 27.09.2015 18:40, Rafael Laboissiere wrote:
> This is a very strange error and I am not sure it is caused by an
> outdated version of octave-pkg-dev.  At any rate, I could not get that
> far, because the building here failed with this error message:
> 
>   
> /path/to/octave-interval/octave-interval/doc/manual.t2d/pdf/xtr/manual.texinfo:8:
> Internal error, already defined: 00A0.
>    \DeclareUnicodeCharacter ..., already defined: #1}
>                                                      \fi \expandafter
> \globalle...
>    l.8 \DeclareUnicodeCharacter{00A0}{\ }
> 

I could track the cause down to this commit in TexInfo:
https://lists.gnu.org/archive/html/texinfo-commits/2015-01/msg00074.html

There was an error in the global declarations of TexInfo, because one
hexcode has been used twice. Obviously the author thought it was a good
idea to detect this kind of trouble with additional checking and above
error message. However, this completely disables the possibility to
override declarations in the user space and breaks backward
compatibility of TexInfo documents.

I am going to file a bug report at TexInfo.

Oliver