Documentation: generated cmds-*.txt does not depend on git.txt