aboutsummaryrefslogtreecommitdiffstats
path: root/docs/source
diff options
context:
space:
mode:
authorbnewbold <bnewbold@robocracy.org>2014-08-27 19:22:15 -0400
committerbnewbold <bnewbold@robocracy.org>2014-08-27 23:25:38 -0400
commitb50a15e6d705a2eead061618f84bdc066ec5c6f4 (patch)
tree0e6ec92e1cd344631b8c433d79a621ab5fde714e /docs/source
parentc3eb039f8c46bddba6c253eee5296cecee2914a1 (diff)
downloadlibrambutan-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.py10
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}