diff options
Diffstat (limited to 't/txinfo9.sh')
| -rwxr-xr-x | t/txinfo9.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/t/txinfo9.sh b/t/txinfo9.sh index 6d9c28b4c..97770f4ce 100755 --- a/t/txinfo9.sh +++ b/t/txinfo9.sh @@ -16,7 +16,7 @@ # Make sure we only create texinfo-related targets once. -. ./defs || Exit 1 +. ./defs || exit 1 cat > Makefile.am << 'END' info_TEXINFOS = maude.texi liver.txi heart.texinfo |