Laurent Rineau ae059505f6 Move doc_html to Installation/ and delete Manual again ...

We need the doc_html sub-directory for the Windows installer.

2014-02-24 17:59:24 +01:00

..

index.html

…

packages.html

…