# HG changeset patch
# User Rik <octave@nomad.inbox5.com>
# Date 1293291784 28800
# Node ID ae0deb52af27d38f381bb5309ba720ccb0e1669a
# Parent  a8a9f062d0ef9d33dc05f19f175371cf168e191a
Correct use of xref macro to prevent Texinfo warning.

diff --git a/src/ChangeLog b/src/ChangeLog
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,7 @@
+2010-12-25  Rik  <octave@nomad.inbox5.com>
+
+	* input.cc (PS1): Correct use of xref macro to remove Tex warning.
+
 2010-12-22  Jordi Gutiérrez Hermoso  <jordigh@gmail.com>
 
 	* input.cc (PS1): Give an example of how PS1 can use ANSI escape
diff --git a/src/input.cc b/src/input.cc
--- a/src/input.cc
+++ b/src/input.cc
@@ -1377,7 +1377,7 @@
 which will result in the prompt @samp{boris@@kremvax> } for the user\n\
 @samp{boris} logged in on the host @samp{kremvax.kgb.su}.  Note that two\n\
 backslashes are required to enter a backslash into a double-quoted\n\
-character string. @xref{Strings}\n\
+character string.  @xref{Strings}.\n\
 \n\
 You can also use ANSI escape sequences if your terminal supports them.\n\
 This can be useful for colouring the prompt. For example,\n\