From 4916c23993efc96f1d0ae94b357d30ab59999b80 Mon Sep 17 00:00:00 2001
From: David Shaw <dshaw@jabberwocky.com>
Date: Sun, 31 Aug 2003 23:51:12 +0000
Subject: [PATCH] * gpg.sgml: Use "keyserver-url" instead of
 "preferred-keyserver" for the sake of short and simple commands.

---
 doc/ChangeLog | 5 +++++
 doc/gpg.sgml  | 4 ++--
 2 files changed, 7 insertions(+), 2 deletions(-)

diff --git a/doc/ChangeLog b/doc/ChangeLog
index 6b1db55fa..22c6e19dd 100644
--- a/doc/ChangeLog
+++ b/doc/ChangeLog
@@ -1,3 +1,8 @@
+2003-08-31  David Shaw  <dshaw@jabberwocky.com>
+
+	* gpg.sgml: Use "keyserver-url" instead of "preferred-keyserver"
+	for the sake of short and simple commands.
+
 2003-08-29  David Shaw  <dshaw@jabberwocky.com>
 
 	* gpg.sgml: Document list-options (show-preferred-keyserver,
diff --git a/doc/gpg.sgml b/doc/gpg.sgml
index 5038ae907..c2ff723ad 100644
--- a/doc/gpg.sgml
+++ b/doc/gpg.sgml
@@ -1251,7 +1251,7 @@ Defaults to no.
 </para></listitem></varlistentry>
 
 <varlistentry>
-<term>show-preferred-keyserver</term>
+<term>show-keyserver-url</term>
 <listitem><para>
 Show any preferred keyserver URL in the --list-sigs or --check-sigs
 listings.  Defaults to no.
@@ -1317,7 +1317,7 @@ no.
 </para></listitem></varlistentry>
 
 <varlistentry>
-<term>show-preferred-keyserver</term>
+<term>show-keyserver-url</term>
 <listitem><para>
 Show any preferred keyserver URL in the signature being verified.
 Defaults to no.