From: michaelw Date: Tue, 11 Jul 2000 23:02:39 +0000 (+0000) Subject: [project @ 2000-07-11 23:02:39 by michaelw] X-Git-Tag: Approximately_9120_patches~4028 X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=960c27ce0bd19b643d597737f1ceaa71cd5fea2b;p=ghc-hetmet.git [project @ 2000-07-11 23:02:39 by michaelw] added Debian location to DocBook catalog test --- diff --git a/configure.in b/configure.in index cdd9261..2551da6 100644 --- a/configure.in +++ b/configure.in @@ -501,7 +501,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, - /usr/share/sgml/CATALOG.docbkdsl $hardtop/glafp-utils/docbook/CATALOG*) + /etc/sgml.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