This patch breaks bootstrap on FreeBSD 8 and FreeBSD 9 and everyone
else using makeinfo 4.8 (when the minimum we require right now is
version 4.7).
Hence I went ahead and applied to simple patch below. If you'd
like to address this differently, happy to see a different approach.
Testing a bootstrap on i386-unknown-freebsd9.0 has now passed the
previous point of failure; committed.
Gerald
...
-small @code{const @leq{} 63} to a register @var{Rn} will be printed as
+small @code{const <= 63} to a register @var{Rn} will be printed as
...