Minor Description
The 10.0 manuals exist at "<doc-root>/derby/docs/10.0/", but there are also symlinks to the various directories from "<doc-root>/derby/manuals/".
I suggest we delete the symlinks because the point at very old documentation and are of basically no use, and because there seems to be only one link in our own web site that points to one of the symlinks.
For reference:
Aug 23 2009 admin -> ../docs/10.0/manuals/admin (Jean)
Aug 23 2009 develop -> ../docs/10.0/manuals/develop (Jean)
Sep 2 2011 dita.html (Dag)
Sep 2 2011 docscheck.html (Dag)
Sep 2 2011 docsfaq.html (Dag)
Aug 23 2009 getstart -> ../docs/10.0/manuals/getstart (Jean)
Sep 2 2011 guidelines.html (Dag)
Apr 20 09:36 index.html (Kristian)
Sep 2 2011 messages.html (Dag)
Aug 23 2009 reference -> ../docs/10.0/manuals/reference (Jean)
Aug 23 2009 tools -> ../docs/10.0/manuals/tools (Jean)
Aug 23 2009 tuning -> ../docs/10.0/manuals/tuning (Jean)