Fix binary distribution directory layout in documentation

manual/install.html

@@ -256,11 +256,7 @@ other open source Java runtimes, and so strives to have a product that works wel
    |
    +--- lib  // contains Ant JARs plus necessary dependencies
    |
-   +--- docs // contains documentation
-   |      |
-   |      +--- images  // various logos for html documentation
-   |      |
-   |      +--- manual  // Ant documentation (a must read ;-)
+   +--- manual  // Ant documentation (a must read ;-)
    |
    +--- etc // contains xsl goodies to:
             //   - create an enhanced report from xml output of various tasks.