Admin/Windows/Cygwin/isabelle/rebaseall

--- a/Admin/Windows/Cygwin/isabelle/rebaseall	Mon Jan 14 14:52:52 2013 +0100
+++ b/Admin/Windows/Cygwin/isabelle/rebaseall	Mon Jan 14 14:53:54 2013 +0100
@@ -4,9 +4,11 @@
 
 FILE_LIST="$(mktemp)"
 
-for DIR in "$@"
+CONTRIB="$(cygpath -u "$(cygpath -w /)\..")"
+
+for NAME in "$@"
 do
-  find "$DIR" -name "*.dll" >> "$FILE_LIST"
+  find "$CONTRIB/$NAME" -name "*.dll" >> "$FILE_LIST"
 done
 
 dash /bin/rebaseall -T "$FILE_LIST"