[ fix, git ] adding all html files under html/

By force if necessary.