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

[Julien Fischer]

Note: I haven't looked at what the current Cygwin version does,
but if it does work then I will re-enable it too.

Branches: main, 11.07

configure.in:
 	The MinGW port of texi2dvi is now works.
 	(The use of tex2dvi was disabled on MinGW six years ago because
 	the then current version went into a loop.)

Julien.

Index: configure.in
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/configure.in,v
retrieving revision 1.603
diff -u -r1.603 configure.in
--- configure.in	8 Nov 2011 03:11:41 -0000	1.603
+++ configure.in	23 Nov 2011 11:46:19 -0000
@@ -824,14 +824,11 @@
  AC_PATH_PROG(INSTALL_INFO,install-info)
  AC_SUBST(INSTALL_INFO)
  #-----------------------------------------------------------------------------#
-# texi2dvi is currently broken on cygwin and mingw
+# texi2dvi is currently broken on cygwin
  case "$host" in
      *-cygwin*)
          TEXI2DVI=""
          ;;
-    *mingw*)
-        TEXI2DVI=""
-        ;;
      *)
          AC_PATH_PROG(TEXI2DVI,texi2dvi)
          ;;
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------