# Likewise for the other install-* targets used for texinfo files.
required='makeinfo tex texi2dvi'
-. ./defs || Exit 1
+. ./defs || exit 1
dvips --help \
|| skip_ "dvips is missing"
$MAKE -e install install-html install-dvi install-ps install-pdf DESTDIR="$destdir"
test ! -d "$instdir"
test ! -d "$destdir"
-$MAKE -e uninstall > stdout || { cat stdout; Exit 1; }
+$MAKE -e uninstall > stdout || { cat stdout; exit 1; }
cat stdout
-grep 'rm -f' stdout && Exit 1
+grep 'rm -f' stdout && exit 1
$MAKE -e uninstall DESTDIR="$destdir"
: