diff options
Diffstat (limited to 'tests/txinfo6.test')
| -rwxr-xr-x | tests/txinfo6.test | 13 |
1 files changed, 9 insertions, 4 deletions
diff --git a/tests/txinfo6.test b/tests/txinfo6.test index ad3704ebf..f5b8c0b64 100755 --- a/tests/txinfo6.test +++ b/tests/txinfo6.test @@ -1,5 +1,5 @@ #! /bin/sh -# Copyright (C) 1998, 2001, 2002 Free Software Foundation, Inc. +# Copyright (C) 1998, 2001, 2002, 2011 Free Software Foundation, Inc. # # This program is free software; you can redistribute it and/or modify # it under the terms of the GNU General Public License as published by @@ -15,8 +15,11 @@ # along with this program. If not, see <http://www.gnu.org/licenses/>. # Test to make sure `.txi' extension works. + . ./defs || Exit 1 +set -e + cat > Makefile.am << 'END' info_TEXINFOS = foo.txi END @@ -24,7 +27,9 @@ END echo '@setfilename foo.info' > foo.txi : > texinfo.tex -$ACLOCAL || Exit 1 -$AUTOMAKE || Exit 1 +$ACLOCAL +$AUTOMAKE + +grep '^\.txi\.info: *$' Makefile.in -$FGREP '.txi.info' Makefile.in +: |