diff options
Diffstat (limited to 'doc/texi2pod.pl')
-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 84c36ff1e1..0eb5e8d9fe 100755 --- a/doc/texi2pod.pl +++ b/doc/texi2pod.pl @@ -352,6 +352,7 @@ sub postprocess s/\(?\@xref\{(?:[^\}]*)\}(?:[^.<]|(?:<[^<>]*>))*\.\)?//g; s/\s+\(\@pxref\{(?:[^\}]*)\}\)//g; s/;\s+\@pxref\{(?:[^\}]*)\}//g; + s/\@ref\{([^\}]*)\}/$1/g; s/\@noindent\s*//g; s/\@refill//g; s/\@gol//g; |