[gcc r11-7731] substitute @tie{} with a space for the man pages

[Matthias Klose]

https://gcc.gnu.org/g:3b0155305e5168b48d19f74e9bfcdf423a532ada

commit r11-7731-g3b0155305e5168b48d19f74e9bfcdf423a532ada
Author: Matthias Klose <doko@ubuntu.com>
Date:   Fri Mar 19 10:03:02 2021 +0000

    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.

Diff:
---
 contrib/texi2pod.pl | 1 +
 1 file changed, 1 insertion(+)

diff --git a/contrib/texi2pod.pl b/contrib/texi2pod.pl
index 608dff42415..5fcf0a1c940 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