# HG changeset patch # User jwe # Date 1184947741 0 # Node ID e3f06290847c76e6ff35ada903766fd02b57d1cd # Parent 3058060c560f3a95f059cf64cf90629dd5c43ee7 [project @ 2007-07-20 16:08:21 by jwe] diff -r 3058060c560f -r e3f06290847c ChangeLog --- a/ChangeLog Thu Jul 19 08:07:32 2007 +0000 +++ b/ChangeLog Fri Jul 20 16:09:01 2007 +0000 @@ -1,3 +1,7 @@ +2007-07-20 Thomas Treichl + + * mkoctfile.in: Fix typo. + 2007-06-25 John W. Eaton * mk-opts.pl (emit_print_function): Make generated function print diff -r 3058060c560f -r e3f06290847c mkoctfile.in --- a/mkoctfile.in Thu Jul 19 08:07:32 2007 +0000 +++ b/mkoctfile.in Fri Jul 20 16:09:01 2007 +0000 @@ -253,7 +253,7 @@ if [ $# -gt 0 ]; then incflags="$incflags -idirafter $1" else - echo "mkoctfile: include directory name misisng name missing" 1>&2 + echo "mkoctfile: include directory name missing" 1>&2 fi ;; -D*)