diff options
Diffstat (limited to 'sphinx/make_mode.py')
| -rw-r--r-- | sphinx/make_mode.py | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/sphinx/make_mode.py b/sphinx/make_mode.py index 512dc5be3..e76059131 100644 --- a/sphinx/make_mode.py +++ b/sphinx/make_mode.py @@ -302,8 +302,7 @@ class Make(object): if doctreedir is None: doctreedir = self.builddir_join('doctrees') - args = [sys.argv[0], - '-b', builder, + args = ['-b', builder, '-d', doctreedir, self.srcdir, self.builddir_join(builder)] |