From 7754f7634cbc837702428bbb40a0efbeec7a51d1 Mon Sep 17 00:00:00 2001
From: Tom Lane <tgl@sss.pgh.pa.us>
Date: Sat, 8 Oct 2005 20:27:25 +0000
Subject: [PATCH] Fix a thinko in description of krb_server_hostname.

---
 doc/src/sgml/config.sgml | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/doc/src/sgml/config.sgml b/doc/src/sgml/config.sgml
index 710605ca70..68557a26d2 100644
--- a/doc/src/sgml/config.sgml
+++ b/doc/src/sgml/config.sgml
@@ -1,5 +1,5 @@
 <!--
-$PostgreSQL: pgsql/doc/src/sgml/config.sgml,v 1.24 2005/10/03 22:55:50 tgl Exp $
+$PostgreSQL: pgsql/doc/src/sgml/config.sgml,v 1.25 2005/10/08 20:27:25 tgl Exp $
 -->
 <chapter Id="runtime-config">
   <title>Run-time Configuration</title>
@@ -592,8 +592,8 @@ SET ENABLE_SEQSCAN TO OFF;
        <para>
         Sets the hostname part of the service principal.
         This, combined with <varname>krb_srvname</>, is used to generate
-        the complete service principal, i.e.
-        <varname>krb_server_hostname</><literal>/</><varname>krb_server_hostname</><literal>@</>REALM.
+        the complete service principal, that is
+        <varname>krb_srvname</><literal>/</><varname>krb_server_hostname</><literal>@</>REALM.
        </para>
        <para>
         If not set, the default is to allow any service principal matching an entry
@@ -610,7 +610,7 @@ SET ENABLE_SEQSCAN TO OFF;
       </indexterm>
       <listitem>
        <para>
-        Sets if Kerberos usernames should be treated case-insensitively.
+        Sets whether Kerberos usernames should be treated case-insensitively.
         The default is <literal>off</> (case sensitive). This parameter
         can only be set at server start.
        </para>
-- 
2.40.0