Run make docs for linux-package only if docs are not found

This commit is contained in:
Kovid Goyal 2018-06-12 09:20:18 +05:30
parent 1b8c6b23e1
commit 2db83ecf1e
No known key found for this signature in database
GPG Key ID: 06BC317B515ACE7C

View File

@ -790,6 +790,8 @@ def main():
) )
elif args.action == 'linux-package': elif args.action == 'linux-package':
build(args, native_optimizations=False) build(args, native_optimizations=False)
if not os.path.exists(os.path.join('docs/_build/html/index.html')):
run_tool(['make', 'docs'])
package(args) package(args)
elif args.action == 'osx-bundle': elif args.action == 'osx-bundle':
build(args, native_optimizations=False) build(args, native_optimizations=False)