diff options
author | Amar Takhar <amar@rtems.org> | 2016-01-17 22:28:28 -0500 |
---|---|---|
committer | Amar Takhar <verm@darkbeer.org> | 2016-05-02 20:51:24 -0400 |
commit | 46498bd4e36b9f6d6873de3de5acea11d3f546b4 (patch) | |
tree | cfad116c91da7445816ee42b166bc6f37e72568b /common | |
parent | Delete new_chapters document as it is rarely used. (diff) | |
download | rtems-docs-46498bd4e36b9f6d6873de3de5acea11d3f546b4.tar.bz2 |
Fix rtemsconfig building.
I'll probably move to a more pythonic way of doing conf.py since this is getting
too complicated.
Diffstat (limited to 'common')
-rw-r--r-- | common/conf.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/common/conf.py b/common/conf.py index 116ed0e..027a29f 100644 --- a/common/conf.py +++ b/common/conf.py @@ -2,6 +2,8 @@ import sys, os sys.path.append(os.path.abspath('.')) sys.path.append(os.path.abspath('../../common/')) +@CONF_EXTRA@ + extensions = [ "sphinx.ext.autodoc", "sphinx.ext.coverage", |