|
From: David M. <da...@da...> - 2017-07-15 23:13:21
|
Hi all, The Manpage points to http://www.valgrind.org, but when I go to http://www.valgrind.org the DNS is listed as for sale. http://valgrind.org seems to work OK though. So I wrote this patch to update the manpages to the working web address -Dave ------------------------------------------------------------------------------------------------ diff docs/xml/vg-entities.xml docs/xml/vg-entities.xml.new 18,23c18,23 < <!ENTITY vg-url "http://www.valgrind.org/"> < <!ENTITY vg-lists-url "http://www.valgrind.org/support/mailing_lists.html"> < <!ENTITY vg-devs-url "http://www.valgrind.org/info/developers.html"> < <!ENTITY vg-repo-url "http://www.valgrind.org/downloads/repository.html"> < <!ENTITY vg-pubs-url "http://www.valgrind.org/docs/pubs.html"> < <!ENTITY vg-docs-url "http://www.valgrind.org/docs/manual/index.html"> --- > <!ENTITY vg-url "http://valgrind.org/"> > <!ENTITY vg-lists-url "http://valgrind.org/support/mailing_lists.html"> > <!ENTITY vg-devs-url "http://valgrind.org/info/developers.html"> > <!ENTITY vg-repo-url "http://valgrind.org/downloads/repository.html"> > <!ENTITY vg-pubs-url "http://valgrind.org/docs/pubs.html"> > <!ENTITY vg-docs-url "http://valgrind.org/docs/manual/index.html"> 29c29 < <!ENTITY vg-manual-url "http://www.valgrind.org/docs/manual/"> --- > <!ENTITY vg-manual-url "http://valgrind.org/docs/manual/"> ------------------------------------------------------------------------------------------------- |