[PATCH] Fix html build with makeinfo 5.2

[Thomas Preudhomme]

On 19/08/16 09:36, Corinna Vinschen wrote:
>
> Please attach your patches instead of inlining them and, ideally,
> please send them in `git format-patch' format.

I didn't do it because I often get rejected as spam when doing this on binutils 
ML. I'll use attachment and format-patch from now on.

Best regards,

Thomas