add --publish option

in preparation for separating --publish and --build, add the option
This commit is contained in:
Martin A. Brown 2016-03-07 09:00:15 -08:00
parent 0e955fce06
commit a002fd926d
1 changed files with 5 additions and 0 deletions

View File

@ -362,6 +362,11 @@ def run(argv):
if config.script:
return script(config, docs, preamble=preamble, postamble=postamble)
# -- either --build or --publish below here ...
#
if config.publish:
config.build = True
if not config.build:
logger.info("Assuming --build, since no other action was specified...")
config.build = True