From 053766503c2c34982007ff422899139ae16624a1 Mon Sep 17 00:00:00 2001 From: tqchen Date: Fri, 21 Aug 2015 08:07:25 -0700 Subject: [PATCH] minor --- doc/conf.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/doc/conf.py b/doc/conf.py index 1ce1b4825..76cfaec16 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -165,9 +165,12 @@ def generate_doxygen_xml(app): read_the_docs_build = os.environ.get('READTHEDOCS', None) == 'True' if read_the_docs_build: run_doxygen('..') + sys.stderr.write('Check if shared lib exists\n') run_build_lib('..') + sys.stderr.write('The wrapper path: %s\n' % str(os.listdir('../wrapper')) rabit._loadlib() + def setup(app): # Add hook for building doxygen xml when needed app.connect("builder-inited", generate_doxygen_xml)