debian / git-doc.fileson commit t3200: branch --help does not die anymore. (aa9dc7a)
   1/usr/share/doc/git-core/*.txt
   2/usr/share/doc/git-core/*.html
   3/usr/share/doc/git-core/*/*.html
   4/usr/share/doc/git-core/*/*.txt