Automatic HTML update via Travis.