Don't push htmlfiles dir to repo.