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 f22a63b09..0bc1a797d 100644 --- a/sphinx/make_mode.py +++ b/sphinx/make_mode.py @@ -303,8 +303,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)] |