# HG changeset patch # User Rik # Date 1384966309 28800 # Node ID abe592ef40b56ada2c850679146581ead23bcbb2 # Parent 2ca3a2f46d93f53a1eeaf04328233b2f6818e3a8 configure.ac: Use two spaces for sentence breaks in warning messages. * configure.ac: Use two spaces for sentence breaks in warning messages. diff -r 2ca3a2f46d93 -r abe592ef40b5 configure.ac --- a/configure.ac Wed Nov 20 11:26:07 2013 -0500 +++ b/configure.ac Wed Nov 20 08:51:49 2013 -0800 @@ -2435,7 +2435,7 @@ ## Warn if JAVA_HOME is unset. It is *strongly* advised to specify JAVA_HOME. if test -z "$JAVA_HOME"; then - warn_java_home="JAVA_HOME environment variable not initialized. Auto-detection will proceed but is unreliable." + warn_java_home="JAVA_HOME environment variable not initialized. Auto-detection will proceed but is unreliable." OCTAVE_CONFIGURE_WARNING([warn_java_home]) fi