version 1.98, 2002/10/22 16:58:19
|
version 1.99, 2002/10/24 08:04:00
|
Line 755 if test "$with_annot" = "" ; then
|
Line 755 if test "$with_annot" = "" ; then
|
else |
else |
with_annot="yes" |
with_annot="yes" |
fi |
fi |
|
else |
|
with_annot="yes" |
fi |
fi |
|
|
|
|
Line 765 if test "$with_raptor" = "" ; then
|
Line 767 if test "$with_raptor" = "" ; then
|
if test "$enable_raptor" = "no" ; then |
if test "$enable_raptor" = "no" ; then |
with_raptor="no" |
with_raptor="no" |
else |
else |
with_raptor"yes" |
with_raptor="yes" |
fi |
fi |
|
else |
|
with_raptor="yes" |
fi |
fi |
|
|
dnl |
dnl |