diff options
Diffstat (limited to 'Doc/tools/mkhowto')
| -rwxr-xr-x | Doc/tools/mkhowto | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Doc/tools/mkhowto b/Doc/tools/mkhowto index 6564056..e204802 100755 --- a/Doc/tools/mkhowto +++ b/Doc/tools/mkhowto @@ -208,7 +208,7 @@ class Options: self.global_module_index = arg elif opt == "--dir": if os.sep == "\\": - arg = re.sub("/", "\\", arg) + arg = re.sub("/", "\\\\", arg) self.builddir = os.path.expanduser(arg) elif opt == "--paper": self.paper = arg |