Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/mono/mono-tools.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlp Toker <alp@mono-cvs.ximian.com>2008-03-07 05:08:16 +0300
committerAlp Toker <alp@mono-cvs.ximian.com>2008-03-07 05:08:16 +0300
commit486edf1e1180c6534f6dd7253447b30e763264b0 (patch)
treeec414280d4372b677d612ba2af96b978bbf34430 /configure.in
parentd1f489f486a48582c7bb2f93273b5818d75e1187 (diff)
2008-03-07 Alp Toker <alp@nuanti.com>
* WebKitHtmlRender.cs: * Makefile.am: * browser.cs: Initial WebKit backend for monodoc (not enabled yet). svn path=/trunk/mono-tools/; revision=97657
Diffstat (limited to 'configure.in')
-rw-r--r--configure.in3
1 files changed, 3 insertions, 0 deletions
diff --git a/configure.in b/configure.in
index 24ab9849..75a276e2 100644
--- a/configure.in
+++ b/configure.in
@@ -63,6 +63,9 @@ if test "x$enable_gecko" = "xyes"; then
AC_SUBST(MOZILLA_HOME)
fi
+dnl TODO: check for webkit-sharp
+AM_CONDITIONAL(ENABLE_WEBKIT, test "xno" = "xyes")
+
if test "x$enable_gtkhtml$enable_gecko" = "xnono" ; then
AC_MSG_ERROR([no HTML display found. You need either gtkhtml or gecko])