[Evil] doc/docstringdb.json in Git?

I just saw a recent commit in the Git that changes `doc/docstringdb.json` and it seems pretty clear that this file is generated, and the same holds for `doc/build/texinfo/evil.texi`. Could these be removed (and simply (re)generated when the NonGNU ELPA tarball gets built)? Stefan