From: Matthias Klose <doko@ubuntu.com>
Date: Fri, 19 Mar 2021 10:03:02 +0000 (+0000)
Subject: substitute @tie{} with a space for the man pages
X-Git-Tag: releases/gcc-10.3.0~205
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=82792a49421a1175914e98bea89bd49f646642c4;p=thirdparty%2Fgcc.git

substitute @tie{} with a space for the man pages

contrib/

2021-03-19  Matthias Klose  <doko@ubuntu.com>

	* texi2pod.pl: Substitute @tie{} with a space for the man pages.

(cherry picked from commit 3b0155305e5168b48d19f74e9bfcdf423a532ada)
---

diff --git a/contrib/texi2pod.pl b/contrib/texi2pod.pl
index 608dff42415f..5fcf0a1c9400 100755
--- a/contrib/texi2pod.pl
+++ b/contrib/texi2pod.pl
@@ -210,6 +210,7 @@ while(<$inf>) {
     s/\@TeX\{\}/TeX/g;
     s/\@pounds\{\}/\#/g;
     s/\@minus(?:\{\})?/-/g;
+    s/\@tie\{\}/ /g;
     s/\\,/,/g;
 
     # Now the ones that have to be replaced by special escapes