diff options
Diffstat (limited to 't/txinfo31.sh')
| -rwxr-xr-x | t/txinfo31.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/t/txinfo31.sh b/t/txinfo31.sh index 191bca4ee..e8186e54b 100755 --- a/t/txinfo31.sh +++ b/t/txinfo31.sh @@ -17,7 +17,7 @@ # Make sure file extensions are matched correctly. # Report from Eric Dorland. -. ./defs || Exit 1 +. ./defs || exit 1 echo info_TEXINFOS = bar.texi >Makefile.am cat >bar.texi <<EOF |