# along with this program. If not, see <http://www.gnu.org/licenses/>.
# Check that info files are built in builddir when needed.
-# (Similar to txinfo16.test, plus CLEANFILES).
-# (See also txinfo23.test and txinfo25.test).
+# (Similar to txinfo16.sh, plus CLEANFILES).
+# (See also txinfo23.sh and txinfo25.sh).
required='makeinfo tex texi2dvi'
-. ./defs || Exit 1
+. ./defs || exit 1
cat >> configure.ac << 'END'
AC_OUTPUT
cd build
../configure
$MAKE
-test ! -f ../main.info
+test ! -e ../main.info
test -f main.info
cd ..
$MAKE
# main.info should be rebuilt in the current directory.
test -f main.info
-test ! -f ../main.info
+test ! -e ../main.info
$MAKE dvi
test -f main.dvi