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

spearce · spearce · commit ee40599330e7 · 2007-02-21T00:11:01.000-05:00
The Firefox browser requires that a URL use / to delimit directories.
This is instead of \, as \ gets escaped by the browser into its hex
escape code and then relative URLs are incorrectly resolved, Firefox
no longer sees the directories for what they are.  Since we are
handing the browser a true URL, we better use the standard / for
directories.

Signed-off-by: Shawn O. Pearce &lt;spearce@spearce.org&gt;
diff --git a/git-gui.sh b/git-gui.sh
@@ -5336,7 +5336,7 @@ set doc_path [file dirname [gitexec]]
 set doc_path [file join $doc_path Documentation index.html]
 
 if {[is_Cygwin]} {
-	set doc_path [exec cygpath --windows $doc_path]
+	set doc_path [exec cygpath --mixed $doc_path]
 }
 
 if {$browser eq {}} {

Original file line number	Diff line number	Diff line change
`@@ -5336,7 +5336,7 @@ set doc_path [file dirname [gitexec]]`
`5336`	`5336`	`set doc_path [file join $doc_path Documentation index.html]`
`5337`	`5337`
`5338`	`5338`	`if {[is_Cygwin]} {`
`5339`		`- set doc_path [exec cygpath --windows $doc_path]`
	`5339`	`+ set doc_path [exec cygpath --mixed $doc_path]`
`5340`	`5340`	`}`
`5341`	`5341`
`5342`	`5342`	`if {$browser eq {}} {`