doc: replace @pxref by @ref where appropriate
authorDiego Biurrun <diego@biurrun.de>
Fri, 8 Jul 2011 13:34:56 +0000 (15:34 +0200)
committerDiego Biurrun <diego@biurrun.de>
Sat, 9 Jul 2011 19:53:59 +0000 (21:53 +0200)
commit4c98976124f611b1a475bccb1b5177ff536be79c
tree0a31803f9e2d423d43d4974ac5fd2975fb92cc55
parentf98c9fb27de84dc4f6123537b754eb2fe1a80c02
doc: replace @pxref by @ref where appropriate
doc/developer.texi
doc/filters.texi
doc/muxers.texi
doc/texi2pod.pl