mirror of
https://github.com/sphinx-doc/sphinx.git
synced 2025-02-25 18:55:22 -06:00
manage --no-makefile and --no-batchfile in quiet mode.
This commit is contained in:
parent
baa8131899
commit
01fd502e71
@ -1480,6 +1480,10 @@ def main(argv=sys.argv):
|
||||
d2.update(dict(("ext_"+ext, False) for ext in EXTENSIONS))
|
||||
d2.update(d)
|
||||
d = d2
|
||||
if 'no_makefile' in d:
|
||||
d['makefile'] = False
|
||||
if 'no_batchfile' in d:
|
||||
d['batchfile'] = False
|
||||
else:
|
||||
ask_user(d)
|
||||
except (KeyboardInterrupt, EOFError):
|
||||
|
Loading…
Reference in New Issue
Block a user