git-gui: Use mixed path for docs on Cygwin.