Test automatic HTML update via Travis.