tweaking travis sphinx config #3