[project @ 2000-06-01 10:45:09 by panne]

[ghc-hetmet.git] / configure.in

diff --git a/configure.in b/configure.in
index a58eda2..436a4d0 100644 (file)
--- a/configure.in
+++ b/configure.in
@@ -491,7 +491,7 @@ 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, 
-                        glafp-utils/docbook/CATALOG*)
+                        /usr/share/sgml/CATALOG.docbkdsl $hardtop/glafp-utils/docbook/CATALOG*)
 if test -z "$Catalog"; then
   AC_MSG_RESULT([Warning: You will not be able to build the documentation.])
 fi