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