deployment.html not referenced to from the doc
In the documentation, the file deployment.html exists but is not
referred to by any other html file.
It is therefore not accessible/visible from the doc.
On the other hand there is “manual_deployment.html” which is used. Should they be merged?
(from redmine: issue id 2497, created on 2016-02-17, closed on 2016-03-07)