[Bug other/111288] formatting mistake in HTML documentation

[bruno at clisp dot org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111288

--- Comment #2 from Bruno Haible <bruno at clisp dot org> ---
Created attachment 55841
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55841&action=edit
Rendering after applying the fix