Suggested fix by somebody else: https://gcc.gnu.org/ml/gcc-patches/2013 ... 02100.html
Would it be safe to replace the following pattern in all files using a patch to be compatible with newer texinfo?
Code: Select all
-@tex press@@gnu.org @end tex
+@email{press@@gnu.org}