diff options
| author | Diego Biurrun <diego@biurrun.de> | 2011-07-08 15:34:56 +0200 |
|---|---|---|
| committer | Diego Biurrun <diego@biurrun.de> | 2011-07-09 21:53:59 +0200 |
| commit | 4c98976124f611b1a475bccb1b5177ff536be79c (patch) | |
| tree | 0a31803f9e2d423d43d4974ac5fd2975fb92cc55 /doc/texi2pod.pl | |
| parent | f98c9fb27de84dc4f6123537b754eb2fe1a80c02 (diff) | |
doc: replace @pxref by @ref where appropriate
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; |