Test if travis push if documentation changed