With the cutrent texinfo-5.1, when I go to the directory doc/manual and
I get a long list of error messages and warnings (make pdf succeeds; in
doc/internals, make html and make info succeed). There were some
incompatible changes in the texinfo language. Are there plans to adjust
sbcl.texinfo (and, maybe, other *.texinfo files) to texinfo-5.x? Should I
file a bug?