https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112873
--- Comment #16 from Jerry DeLisle <jvdelisle at gcc dot gnu.org> --- (In reply to Steve Kargl from comment #15) --- snip --- > > Jerry, are you starting with the patch submitted by Harald that > fixes the doc issue. It seems 'gmake pdf', which is what I use > to check doc changes, works while 'gmake info' fails. I assume > that this is how Harald found the issue. > > Thanks for taking up the commit. Yes, I will start with Harald's patch and will plan to test make pdf and make info. Do we need any other test cases?
