1 files changed, 9 insertions, 0 deletions
diff --git a/install-win32/dosname.pl b/install-win32/dosname.pl
new file mode 100644
index 0000000..a678e66
--- /dev/null
+++ b/install-win32/dosname.pl
@@ -0,0 +1,9 @@
+#!/usr/bin/perl
+
+# convert a unix filename to a DOS filename
+
+while ($unixname = shift(@ARGV)) {
+  $unixname =~ s#^/([a-zA-Z])(/|$)#$1:\\#g;
+  $unixname =~ s#/#\\#g;
+  print "$unixname\n";
+}