diff options
Diffstat (limited to 'configure1.in')
| -rwxr-xr-x | configure1.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure1.in b/configure1.in index 8256b2dbbec..4d64bcfab6a 100755 --- a/configure1.in +++ b/configure1.in @@ -212,7 +212,7 @@ Set it to either \`yes' or \`no'." #echo "${progname}: the \`--${optname}' option is supposed to have a value #which is \`yes', \`no', \`lucid', \`athena', \`motif' or \`open-look'." echo "${progname}: the \`--${optname}' option is supposed to have a value -which is \`yes', \`no', \`lucid', or \`athena'. +which is \`yes', \`no', \`lucid', or \`athena'." echo "${short_usage}") >&2 exit 1 ;; |