# HG changeset patch
# User Luc Teirlinck <teirllm@auburn.edu>
# Date 1135050475 0
# Node ID f5914f5bfb9c42f7a9e85ccb09b00db3198d8d8e
# Parent  98eba52a8481782928ba358d6a1568afd9fa28b0
(Documentation Tips): Minor change.

diff -r 98eba52a8481 -r f5914f5bfb9c lispref/tips.texi
--- a/lispref/tips.texi	Tue Dec 20 03:44:32 2005 +0000
+++ b/lispref/tips.texi	Tue Dec 20 03:47:55 2005 +0000
@@ -641,7 +641,7 @@
 
 @item
 When you define a variable that users ought to set interactively, you
-should normally use @code{defcustom}.  However, if for some reason you
+normally should use @code{defcustom}.  However, if for some reason you
 use @code{defvar} instead, start the doc string with a @samp{*}.
 @xref{Defining Variables}.