From 4c98976124f611b1a475bccb1b5177ff536be79c Mon Sep 17 00:00:00 2001
From: Diego Biurrun <diego@biurrun.de>
Date: Fri, 8 Jul 2011 15:34:56 +0200
Subject: doc: replace @pxref by @ref where appropriate

---
 doc/texi2pod.pl | 1 +
 1 file changed, 1 insertion(+)

(limited to 'doc/texi2pod.pl')

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;
-- 
cgit v1.2.3