diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/source/conf.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/source/conf.py b/docs/source/conf.py index 50badda..247edbf 100644 --- a/docs/source/conf.py +++ b/docs/source/conf.py @@ -268,7 +268,7 @@ if os.path.isdir(doxygen_xml_maybe): doxygen_xml_dir = doxygen_xml_maybe else: print("FAIL: doxygen hasn't been run yet in this repository; " - "see ../README") + "see README-building.txt") sys.exit(-1) breathe_projects = {'libmaple' : doxygen_xml_dir} |