From: sof <unknown>
Date: Tue, 14 Aug 2001 21:49:00 +0000 (+0000)
Subject: [project @ 2001-08-14 21:49:00 by sof]
X-Git-Tag: Approximately_9120_patches~1257
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=b9f325de0473f28247025ac0f8edb02348547142;p=ghc-hetmet.git

[project @ 2001-08-14 21:49:00 by sof]
DocBook catalog: Only prefix hardtop if we end up using a glafp-utils/docbook CATALOG
---

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)