Travis: fix syntax error
Travis: optimize generations of docs a bit