[Gmsh] failed to rebuild latest gmsh (rev 15092) on Debian

[trophime]

Hi,
just trying to upgrade gmsh on Debian wheezy... I end up with the
following error when the doc is generated:
""""
Generating ../../doc/texinfo/gmsh.html
cd "/tmp/buildd/gmsh-tetgen-2.7.1~svn15092/doc/texinfo"
&& /usr/bin/makeinfo --html --css-ref=http://geuz.org/geuz.css
--no-split /tmp/buildd/gmsh-tetgen-2.7.1~svn15092/doc/texinfo/gmsh.texi
/tmp/buildd/gmsh-tetgen-2.7.1~svn15092/doc/texinfo/gmsh.texi:982:
Unknown command `dots>)|'.
makeinfo: Removing output file
`/tmp/buildd/gmsh-tetgen-2.7.1~svn15092/doc/texinfo/gmsh.html' due to
errors; use --force to preserve.
"""

It seems to be connected with changes from rev 15000...

C