From 6dae7f3ba6e3d0bb0ec55c629bbacddc2aa41188 Mon Sep 17 00:00:00 2001 From: vitaut Date: Wed, 14 Oct 2015 06:39:07 -0700 Subject: [PATCH] Add more diagnostics --- doc/build.py | 1 + 1 file changed, 1 insertion(+) diff --git a/doc/build.py b/doc/build.py index 412d407b..33a79baa 100755 --- a/doc/build.py +++ b/doc/build.py @@ -40,6 +40,7 @@ def build_docs(): '511b0887293e7c6b12310bb61b3659068f48f0f4') print(check_output(['sphinx-build', '--version'])) print('PATH:', os.environ['PATH']) + print(check_output(['which', 'sphinx-build'])) # Build docs. cmd = ['doxygen', '-'] p = Popen(cmd, stdin=PIPE)