tests: avoid a spurious failure when TeX is not installed.

Fixes automake bug#14499.

* t/txinfo-no-split.sh: If TeX is not available, redefine 'dvi' to be a
dummy target, so that "make distcheck" doesn't fail while trying to build
the DVI version of the Texinfo manual.

Signed-off-by: Stefano Lattarini <stefano.lattarini@gmail.com>

diff --git a/t/txinfo-no-split.sh b/t/txinfo-no-split.sh
index aecf7e73593464f27e617abca7249017f3cf50af..6a50f1ccbf510cb59a431c067e5689376faa6910 100644 (file)
--- a/t/txinfo-no-split.sh
+++ b/t/txinfo-no-split.sh
@@ -34,6 +34,13 @@ check-local:
        test "`find $(srcdir) . | grep '\.info'`" = "$(srcdir)/foo.info"
 END
 
+# Systems lacking a working TeX installation cannot run "make dvi".
+if test -z "$TEX"; then
+  warn_ "TeX installation missing, \"make dvi\" will be skipped"
+  echo AUTOMAKE_OPTIONS = -Wno-override >> Makefile.am
+  echo 'dvi:; @echo Tex is missing, do nothing' >> Makefile.am
+fi
+
 cat > foo.texi << 'END'
 \input texinfo
 @setfilename foo.info