# HG changeset patch
# User Eli Zaretskii <eliz@gnu.org>
# Date 1224578440 0
# Node ID c1ca00a5b81da3cd8f5b725db41010ffeca28e0d
# Parent  d8d5199c728635bdda10875355d194c7d5447b90
Fix wording of the first entry.

diff -r d8d5199c7286 -r c1ca00a5b81d admin/notes/documentation
--- a/admin/notes/documentation	Tue Oct 21 06:32:39 2008 +0000
+++ b/admin/notes/documentation	Tue Oct 21 08:40:40 2008 +0000
@@ -28,8 +28,8 @@
     @cindex help text, in GTK+ file chooser
 
 Thus, if a user types "i hidden files TAB" in Info, she will see the
-first entry, and if so if she types "i file chooser RET".  See why it
-is better?
+first entry, and so if she types "i file chooser RET".  See why it is
+better?
 
 The way to come up with useful index entries is to put yourself in the
 shoes of someone who looks for the information, and think about words