diff --git a/install/unix/index.xml b/install/unix/index.xml index 2892c69a8d..d1604fa635 100644 --- a/install/unix/index.xml +++ b/install/unix/index.xml @@ -1,5 +1,5 @@ - + Installation on Unix systems @@ -43,12 +43,12 @@ - flex + flex: Version 2.5.4 - bison + bison: Version 1.28 (preferred), 1.35, or 1.75 @@ -66,8 +66,10 @@ The initial PHP setup and configuration process is controlled by the - use of the commandline options of the configure - script. Our manual documents the different options separately. You will + use of the commandline options of the configure + script. You could get a list of all available options along with short + explanations running ./configure --help. + Our manual documents the different options separately. You will find the core options in the appendix, while the different extension specific options are descibed on the reference pages. @@ -113,4 +115,3 @@ vim600: syn=xml fen fdm=syntax fdl=2 si vim: et tw=78 syn=sgml vi: ts=1 sw=1 --> -