Dear developers, I browsed HTML documentation of Texinfo today and found a bug at section "20.15 PDF Output" (direct link: http://www.gnu.org/software/texinfo/manual/texinfo/html_node/PDF-Output.html#PDF-Output). The link for text "GNU GV, a 'Ghostscript-based PDF reader'" links to "http://www.foolabs.com/xpdf/";, instead of "http://www.gnu.org/software/gv/";.
Have a nice day, Christophe
