diff options
author | Masood Malekghassemi <atash@google.com> | 2016-12-27 09:23:52 -0800 |
---|---|---|
committer | Masood Malekghassemi <atash@google.com> | 2016-12-27 09:57:13 -0800 |
commit | db422d7eba8c33af913131b85bb2e9316a3c383f (patch) | |
tree | e528944a27db1b63b0e64eab1c5feeb11d6f226e /tools/distrib | |
parent | 25186ae0f1245851bb017fde407ab2a23a645d98 (diff) |
Provide doc dir even if user interrupts docgen
Diffstat (limited to 'tools/distrib')
-rwxr-xr-x | tools/distrib/python/docgen.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/distrib/python/docgen.py b/tools/distrib/python/docgen.py index 622317920d..38ffcd6e0e 100755 --- a/tools/distrib/python/docgen.py +++ b/tools/distrib/python/docgen.py @@ -94,6 +94,7 @@ if args.submit: # specified repository, edit it, and push it. It's up to the user to then go # onto GitHub and make a PR against grpc/grpc:gh-pages. repo_parent_dir = tempfile.mkdtemp() + print('Documentation parent directory: {}'.format(repo_parent_dir)) repo_dir = os.path.join(repo_parent_dir, 'grpc') python_doc_dir = os.path.join(repo_dir, 'python') doc_branch = args.doc_branch |