[project @ 2001-08-17 11:14:28 by rrt]

[ghc-hetmet.git] / configure.in

diff --git a/configure.in b/configure.in
index 27447f3..7cac282 100644 (file)
--- 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)