tweaking travis sphinx config 4