diff options
author | bnewbold <bnewbold@robocracy.org> | 2014-08-27 19:22:15 -0400 |
---|---|---|
committer | bnewbold <bnewbold@robocracy.org> | 2014-08-27 23:25:38 -0400 |
commit | b50a15e6d705a2eead061618f84bdc066ec5c6f4 (patch) | |
tree | 0e6ec92e1cd344631b8c433d79a621ab5fde714e /docs/source | |
parent | c3eb039f8c46bddba6c253eee5296cecee2914a1 (diff) | |
download | librambutan-b50a15e6d705a2eead061618f84bdc066ec5c6f4.tar.gz librambutan-b50a15e6d705a2eead061618f84bdc066ec5c6f4.zip |
docs/source/conf.py: use doxygen XML files from this repo
Diffstat (limited to 'docs/source')
-rw-r--r-- | docs/source/conf.py | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/docs/source/conf.py b/docs/source/conf.py index b1126df..fe400d0 100644 --- a/docs/source/conf.py +++ b/docs/source/conf.py @@ -267,16 +267,16 @@ man_pages = [ # -- Options for breathe integration ------------------------------------------ -# We allow people to check in Doxygen XML into maintenance branches. +# Check to see if doxygen has been run yet doxygen_xml_maybe = os.path.join(os.path.dirname(os.path.dirname(__file__)), - 'doxygen', 'xml') + '..', 'doxygen', 'xml') if os.path.isdir(doxygen_xml_maybe): # There's a doxygen/xml/ directory in this repository root, use that. doxygen_xml_dir = doxygen_xml_maybe else: - # Nothing there, assume it's in LIB_MAPLE_HOME. - doxygen_xml_dir = os.path.join(os.environ['LIB_MAPLE_HOME'], - 'doxygen', 'xml') + print("FAIL: doxygen hasn't been run yet in this repository; " + "see ../README") + sys.exit(-1) breathe_projects = {'libmaple' : doxygen_xml_dir} |