X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=configure.in;h=3c945a452375fe010484cca25164cc0024b5f4ec;hb=d4e38936bf64bcd3dc301ec404406bbff20f01d5;hp=b8b7d10072a699f27e49e501b6f9e6590886ff0b;hpb=4be27d6995cea37d1d36c4091c1a8aa3dee45389;p=ghc-hetmet.git

diff --git a/configure.in b/configure.in
index b8b7d10..3c945a4 100644
--- a/configure.in
+++ b/configure.in
@@ -565,10 +565,18 @@ AC_PATH_PROGS(CompressCmd,gzip compress,gzip)
 dnl ** check for jade/openjade & determine a working catalog
 AC_PATH_PROGS(JadeCmd,openjade jade,jade)
 FPTOOLS_DOCBOOK_CATALOG(Catalog, $JadeCmd, docs/fptools-both.dsl, 
-                        /etc/sgml/catalog /etc/sgml.catalog /usr/share/sgml/CATALOG.docbkdsl $hardtop/glafp-utils/docbook/CATALOG*)
+                        /etc/sgml/catalog /etc/sgml.catalog /usr/share/sgml/CATALOG.docbkdsl glafp-utils/docbook/CATALOG*)
 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
+      ;;
+esac   
 AC_SUBST(Catalog)
 
 compress_nm=`basename $CompressCmd`