diff options
author | Chris Johns <chrisj@rtems.org> | 2016-07-04 12:45:57 +1000 |
---|---|---|
committer | Chris Johns <chrisj@rtems.org> | 2016-07-04 12:45:57 +1000 |
commit | ae7a139ad67095dd8fae3380f091e21a4ec83287 (patch) | |
tree | b331283d203c86449403077345819ab666c8633a /user/conf.py | |
parent | Make the Warning colours match the theme. (diff) | |
download | rtems-docs-ae7a139ad67095dd8fae3380f091e21a4ec83287.tar.bz2 |
Add the RTEMS Kernel section back in.
Diffstat (limited to 'user/conf.py')
-rw-r--r-- | user/conf.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/user/conf.py b/user/conf.py index d22b347..9865a2d 100644 --- a/user/conf.py +++ b/user/conf.py @@ -27,6 +27,7 @@ exclude_patterns = ['config/build.rst', 'installation/prefixes-sandboxing.rst', 'installation/releases.rst', 'installation/developer.rst', + 'installation/kernel.rst', 'tools/build.rst', 'tools/simulation.rst', |