IntenseWebs/sphinx
3
0
Fork 0
mirror of https://github.com/sphinx-doc/sphinx.git synced 2025-02-25 18:55:22 -06:00
Code Issues Packages Projects Releases Wiki Activity

fix: make-mode can't handle extra options that passed as SPHINXOPTS

Browse Source
This commit is contained in:
Takayuki Shimizukawa 2014-05-03 13:41:02 +09:00
parent ecaeff1689
commit 3ae8906447
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
sphinx/make_mode.py
View File

@ -243,8 +243,8 @@ class Make(object):
opts.extend(['-D', 'latex_paper_size=' + papersize])
if doctreedir is None:
doctreedir = self.builddir_join('doctrees')
return call([sys.executable, sys.argv[0], '-b', builder,
'-d', doctreedir, self.srcdir, self.builddir_join(builder)] + opts)
return call([sys.executable, sys.argv[0], '-b', builder] + opts +
['-d', doctreedir, self.srcdir, self.builddir_join(builder)])
def run_make_mode(args):