Hi Werner, all > svn log --diff -r "{2009-01-01}:{2018-11-19}" > ~/texi2html.changes
Umpf, not good. Much faster to do a git svn checkout and then use git. > Given that Savannah provides git support and that it is rather easy to > import an SVN repository to git (using `git svn ...') I strongly > suggest to migrate to git. If there is interest, I can set up a git svn mirror as I have done for luatex, texlive, texlive-source ..., that gets automatically updated. Since texinfo is not so big, it could be mirrored into github, eg. into the TeX-Live organization, but wherever you prefer. The setup I am using is already prepared to mirror other svn repos, too, via texlive.info server. Best Norbert -- PREINING Norbert http://www.preining.info Accelia Inc. + JAIST + TeX Live + Debian Developer GPG: 0x860CDC13 fp: F7D8 A928 26E3 16A1 9FA0 ACF0 6CAC A448 860C DC13