projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
[project @ 2001-08-20 12:36:10 by chak]
[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
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)
esac
AC_SUBST(Catalog)