From ae7a139ad67095dd8fae3380f091e21a4ec83287 Mon Sep 17 00:00:00 2001
From: Chris Johns <chrisj@rtems.org>
Date: Mon, 4 Jul 2016 12:45:57 +1000
Subject: Add the RTEMS Kernel section back in.

---
 user/conf.py | 1 +
 1 file changed, 1 insertion(+)

(limited to 'user/conf.py')

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',
-- 
cgit v1.2.3