projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
[project @ 2002-02-13 19:42:38 by sof]
[ghc-hetmet.git]
/
configure.in
diff --git
a/configure.in
b/configure.in
index
b8bc441
..
38438bc
100644
(file)
--- a/
configure.in
+++ b/
configure.in
@@
-617,6
+617,9
@@
if test -z "$Catalog"; then
AC_MSG_RESULT([Warning: You will not be able to build the documentation.])
fi
case $Catalog in
+ yes) # assume it is provided by other means (e.g., SGML_CATALOG_FILES env var).
+ Catalog=
+ ;;
glafp*)
case $HostOS_CPP in
mingw32)