[project @ 2001-07-10 11:21:05 by rrt]

[ghc-hetmet.git] / configure.in

diff --git a/configure.in b/configure.in
index 2e7f1ef..3c945a4 100644 (file)
--- a/configure.in
+++ b/configure.in
@@ -569,7 +569,14 @@ FPTOOLS_DOCBOOK_CATALOG(Catalog, $JadeCmd, docs/fptools-both.dsl,
 if test -z "$Catalog"; then
   AC_MSG_RESULT([Warning: You will not be able to build the documentation.])
 fi
-Catalog=$hardtop/$Catalog
+case $HostOS_CPP in
+   mingw32)
+      Catalog=`cygpath -w $hardtop/$Catalog`
+      ;;
+   *)
+      Catalog=$hardtop/$Catalog
+      ;;
+esac   
 AC_SUBST(Catalog)
 
 compress_nm=`basename $CompressCmd`