[BUILDROBOT] makeinfo fails (was: [pushed] [PATCH V4] Add support for bound table in the Intel MPX context.)

[Joel Brobecker]

> > I am sorry, for that. 
> > BTW: Also got a message from BUILDBOT that I caused issues on 32bit builds.
> > I am working to fix it!
> 
> Additional to what GDB'ish BUILDBOT may have found, I also see general
> breakages due to a wrongly moved @end table in the docs (just a first
> glance, I'm not sure so I'm not promoting an own patch to fix it.)

Ah yes, I think the patch that was sent includes a documentation
fix as well, and was approved. That documentation fix should go in
on its own, and right away.

-- 
Joel