From: Léo Hardt <leom.hardt@inf.ufrgs.br>
Date: Tue, 12 May 2026 22:09:28 +0000 (-0300)
Subject: doc: Remove unused reference to @gol macro.
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c0d64beec62a51421df8309e8a1718fe42254f21;p=thirdparty%2Fgcc.git

doc: Remove unused reference to @gol macro.

The @gol texinfo macro appears to have been used as a workaround for
achieving line breaks in gccoptlists, and has been removed on commit
43b72ed. The texi2pod rule to ignore it was not cleaned up at the time.

I did not find any references to @gol in the documentation, and building
man pages with and without the deleted rule produced identical files.

contrib/ChangeLog:

	* texi2pod.pl: Remove rule to parse the defunct @gol macro.

Signed-off-by: Léo Hardt <leom.hardt@inf.ufrgs.br>
---

diff --git a/contrib/texi2pod.pl b/contrib/texi2pod.pl
index 26f19acff4d..08681fd52e4 100755
--- a/contrib/texi2pod.pl
+++ b/contrib/texi2pod.pl
@@ -416,14 +416,13 @@ sub postprocess
     # Cross references are thrown away, as are @noindent and @refill.
     # (@noindent is impossible in .pod, and @refill is unnecessary.)
     # @* is also impossible in .pod; we discard it and any newline that
-    # follows it.  Similarly, our macro @gol must be discarded.
+    # follows it.
 
     s/\(?\@xref\{(?:[^\}]*)\}(?:[^.<]|(?:<[^<>]*>))*\.\)?//g;
     s/\s+\(\@pxref\{(?:[^\}]*)\}\)//g;
     s/;\s+\@pxref\{(?:[^\}]*)\}//g;
     s/\@noindent\s*//g;
     s/\@refill//g;
-    s/\@gol//g;
     s/\@\*\s*\n?//g;
 
     # Anchors are thrown away