Updated docs deploy script to deploy the manual too