diff --git a/Doc/Manual/Php.html b/Doc/Manual/Php.html index cf3d53dbe..c1d2cf6b7 100644 --- a/Doc/Manual/Php.html +++ b/Doc/Manual/Php.html @@ -191,7 +191,6 @@ additional optional arguments:
  • -withlibs "<libs>" Links the libraries into the shared object.
  • -withc "<files>" Compiles and links the named C files into the shared object.
  • -withcxx "<files>" Compiles and links the named C++ files into the shared object, -
  • -dlname "<name>" Changes the name of the generated shared object.

    27.1.2 Building extensions into PHP