Deployment script: Improved code for copying dependencies.
Deployment script: Also include image files for the manual.