X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=configure.in;h=7cac2826ae81194dce112977d4ddfbde32848f26;hb=b9f325de0473f28247025ac0f8edb02348547142;hp=27447f32597315f8f078715683bb44b3652e73dd;hpb=71dea3225ddc9cb7cc51e3ceba001424f0889145;p=ghc-hetmet.git

diff --git a/configure.in b/configure.in
index 27447f3..7cac282 100644
--- a/configure.in
+++ b/configure.in
@@ -588,13 +588,16 @@ 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
-case $HostOS_CPP in
-   mingw32)
-      Catalog=`cygpath -w $hardtop/$Catalog`
-      ;;
-   *)
-      Catalog=$hardtop/$Catalog
-      ;;
+case $Catalog in
+   glafp*) 
+	case $HostOS_CPP in
+	   mingw32)
+	      Catalog=`cygpath -w $hardtop/$Catalog`
+	      ;;
+	   *) Catalog=$hardtop/$Catalog
+	      ;;
+	esac
+   ;;
 esac   
 AC_SUBST(Catalog)