summaryrefslogtreecommitdiff
path: root/sapi/servlet
diff options
context:
space:
mode:
authorfoobar <sniper@php.net>2003-10-03 05:24:33 +0000
committerfoobar <sniper@php.net>2003-10-03 05:24:33 +0000
commitdb50cd251ed827de60bdc156a08fd7c0f744e2fd (patch)
treeef357d24d9aef23de74020d903a8641b6f198a78 /sapi/servlet
parent09b8fdc2bb19ffe8a0d15fae0ab93196fbc10ca6 (diff)
downloadphp-git-db50cd251ed827de60bdc156a08fd7c0f744e2fd.tar.gz
Aligned configure help texts.
Diffstat (limited to 'sapi/servlet')
-rw-r--r--sapi/servlet/config.m42
1 files changed, 1 insertions, 1 deletions
diff --git a/sapi/servlet/config.m4 b/sapi/servlet/config.m4
index 26cd63c92f..05ebd70fad 100644
--- a/sapi/servlet/config.m4
+++ b/sapi/servlet/config.m4
@@ -4,7 +4,7 @@ dnl
AC_MSG_CHECKING(for Servlet support)
AC_ARG_WITH(servlet,
-[ --with-servlet[=DIR] Include servlet support. DIR is the base install
+[ --with-servlet[=DIR] Include servlet support. DIR is the base install
directory for the JSDK. This SAPI prereqs the
java extension must be built as a shared dl.],
[