[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 #1 from Bruno Haible <bruno at clisp dot org> ---
Created attachment 55840
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55840&action=edit
Rendering before applying the fix