Bugfix

Documentation wasn’t being compiled in CI because of a typo in the
TravisCI script. This patch fixes the problem.