Fix travis publish doc task

* website has been moved to a separate repo