From db422d7eba8c33af913131b85bb2e9316a3c383f Mon Sep 17 00:00:00 2001 From: Masood Malekghassemi Date: Tue, 27 Dec 2016 09:23:52 -0800 Subject: [PATCH] Provide doc dir even if user interrupts docgen --- tools/distrib/python/docgen.py | 1 + 1 file changed, 1 insertion(+) diff --git a/tools/distrib/python/docgen.py b/tools/distrib/python/docgen.py index 622317920d4..38ffcd6e0e3 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