jkt 05/11/29 21:57:36 Modified: xml/htdocs/doc/en gnupg-user.xml Log: http://subkeys.pgp.net should use port 11371 for web interface, tx to enderson for pointing that out
Revision Changes Path 1.31 +7 -5 xml/htdocs/doc/en/gnupg-user.xml file : http://www.gentoo.org/cgi-bin/viewcvs.cgi/xml/htdocs/doc/en/gnupg-user.xml?rev=1.31&content-type=text/x-cvsweb-markup&cvsroot=gentoo plain: http://www.gentoo.org/cgi-bin/viewcvs.cgi/xml/htdocs/doc/en/gnupg-user.xml?rev=1.31&content-type=text/plain&cvsroot=gentoo diff : http://www.gentoo.org/cgi-bin/viewcvs.cgi/xml/htdocs/doc/en/gnupg-user.xml.diff?r1=1.30&r2=1.31&cvsroot=gentoo Index: gnupg-user.xml =================================================================== RCS file: /var/cvsroot/gentoo/xml/htdocs/doc/en/gnupg-user.xml,v retrieving revision 1.30 retrieving revision 1.31 diff -u -r1.30 -r1.31 --- gnupg-user.xml 8 Nov 2005 12:41:58 -0000 1.30 +++ gnupg-user.xml 29 Nov 2005 21:57:36 -0000 1.31 @@ -1,7 +1,7 @@ <?xml version='1.0' encoding="UTF-8"?> <!DOCTYPE guide SYSTEM "/dtd/guide.dtd"> -<!-- $Header: /var/cvsroot/gentoo/xml/htdocs/doc/en/gnupg-user.xml,v 1.30 2005/11/08 12:41:58 flammie Exp $ --> +<!-- $Header: /var/cvsroot/gentoo/xml/htdocs/doc/en/gnupg-user.xml,v 1.31 2005/11/29 21:57:36 jkt Exp $ --> <guide link = "/doc/en/gnupg-user.xml"> <title>GnuPG Gentoo user guide</title> @@ -20,10 +20,12 @@ communication. </abstract> +<!-- The content of this document is licensed under the CC-BY-SA license --> +<!-- See http://creativecommons.org/licenses/by-sa/2.5 --> <license/> -<version>1.1</version> -<date>2005-10-13</date> +<version>1.2</version> +<date>2005-11-29</date> <chapter> <title>Introduction</title> @@ -582,8 +584,8 @@ Search for the above two lines and uncomment them. With this any time GnuPG needs to check a signature and it does not find the public key on the local keyring it will contact the key server at <uri -link="http://subkeys.pgp.net/";>subkeys.pgp.net</uri> and will try to fetch it -from there. +link="http://subkeys.pgp.net:11371/";>subkeys.pgp.net</uri> and will try to fetch +it from there. </p> <p> -- [email protected] mailing list
