diff options
| -rwxr-xr-x | doc/texi2pod.pl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/texi2pod.pl b/doc/texi2pod.pl index 8790563131..265f8c5815 100755 --- a/doc/texi2pod.pl +++ b/doc/texi2pod.pl @@ -361,6 +361,7 @@ sub postprocess s/\(?\@xref\{(?:[^\}]*)\}(?:[^.<]|(?:<[^<>]*>))*\.\)?//g; s/\s+\(\@pxref\{(?:[^\}]*)\}\)//g; s/;\s+\@pxref\{(?:[^\}]*)\}//g; + s/\@ref\{(?:[^,]*,)(?:[^,]*,)([^,\}]*).*\}/$1/g; s/\@ref\{([^\}]*)\}/$1/g; s/\@noindent\s*//g; s/\@refill//g; |