Since tools/git2cl is a dependency of ChangeLog, not distributing tools/git2cl with flex causes the "make dist" target to fail in the distributed tar ball.
Since tools/git2cl is a dependency of ChangeLog, not distributing tools/git2cl with flex causes the "make dist" target to fail in the distributed tar ball.