Fix travis-ci haddock deployment to gh-pages

This fixes a typo in the `deploy-documentation.sh` script.