diff options
| -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 4fe97fb..d0ab63c 100755 --- a/Doc/tools/mkhowto +++ b/Doc/tools/mkhowto @@ -205,7 +205,7 @@ class Options: elif opt == "--dir": if os.sep == "\\": arg = re.sub("/", "\\", arg) - self.builddir = arg + self.builddir = os.path.expanduser(arg) elif opt == "--paper": self.paper = arg elif opt == "--dvips-safe": |