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 '')
| -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', |