Provide doc dir even if user interrupts docgen

8 years ago · db422d7eba
parent 25186ae0f1
commit db422d7eba
1 changed files with 1 additions and 0 deletions
--- 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