makeinfo: @verbatim is buggy

[Vincent Lefevre]

Hi,

In mpfr.texi (from <http://www.mpfr.org/mpfr-2.4.1/>), we have:

[...]
@deftypefun int mpfr_can_round (mpfr_t @var{b}, mp_exp_t @var{err}, mp_rnd_t 
@var{rnd1}, mp_rnd_t @var{rnd2}, mp_prec_t @var{prec})
[...]
Note: if one wants to also determine the correct ternary value when rounding
@var{b} to precision @var{prec}, a useful trick is the following:
@verbatim
   if (mpfr_can_round (b, err, rnd1, GMP_RNDZ, prec + (rnd2 == GMP_RNDN)))
      ...
@end verbatim
Indeed, if @var{rnd2} is @code{GMP_RNDN}, this will check if one can
round to @var{prec}+1 bits with a directed rounding:
[...]

but makeinfo 4.12 and 4.13 give:

 -- Function: int mpfr_can_round (mpfr_t B, mp_exp_t ERR, mp_rnd_t
          RND1, mp_rnd_t RND2, mp_prec_t PREC)
[...]
     Note: if one wants to also determine the correct ternary value
     when rounding B to precision PREC, a useful trick is the following:    if 
(mpfr_can_round (b, err, rnd1, GMP_RNDZ, prec + (rnd2 == GMP_RNDN)))
           ...
      Indeed, if RND2 is `GMP_RNDN', this will check if one can round
     to PREC+1 bits with a directed rounding: if so, one can surely
[...]

i.e. the first verbatim line is at the end of the previous line.

Note: makeinfo 4.11 does not have this problem, but it sometimes
adds a spurious blank line before the first verbatim line. It seems
that this bug was incorrectly fixed.

-- 
Vincent Lefèvre <address@hidden> - Web: <http://www.vinc17.org/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.org/blog/>
Work: CR INRIA - computer arithmetic / Arenaire project (LIP, ENS-Lyon)