https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112873
--- Comment #18 from Jerry DeLisle <jvdelisle at gcc dot gnu.org> --- I have the patch applied. make pdf and make info work as expected. I fixed a minor typo in a comment for intrinsic.cc. I have a few of the git magics to do. Shall I submit to the list before commit?