[m-rev.] diff: re-enable the use of texi2dvi on Cygwin

[Julien Fischer]

Branches: master, 14.01

------------------------

Re-enable the use of texi2dvi on Cygwin.

configure.ac:
 	Very old versions of Cygwin had a broken texi2dvi, so we disabled its
 	use on that platform.  Re-enable its use since it works with the
 	current version.

Julien.

diff --git a/configure.ac b/configure.ac
index 89097e3..05a7a83 100644
--- a/configure.ac
+++ b/configure.ac
@@ -797,15 +797,7 @@ AC_SUBST(MKTEMP)
  AC_PATH_PROG(INSTALL_INFO,install-info)
  AC_SUBST(INSTALL_INFO)
  #-----------------------------------------------------------------------------#
-# texi2dvi is currently broken on cygwin
-case "$host" in
-    *-cygwin*)
-        TEXI2DVI=""
-        ;;
-    *)
-        AC_PATH_PROG(TEXI2DVI,texi2dvi)
-        ;;
-esac
+AC_PATH_PROG(TEXI2DVI,texi2dvi)
  AC_SUBST(TEXI2DVI)
  #-----------------------------------------------------------------------------#
  AC_PATH_PROG(PDFTEX, pdftex)