https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110983
--- Comment #5 from Mao <sray at live dot com> --- (In reply to Andrew Pinski from comment #4) > `make html` is the way to build the HTML web pages ... Thanks for the help. Yes, I have confirmed with the generated HTML as well. My patch can fix it.
