diff options
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 7a45a97..d6a5277 100644 --- a/user/conf.py +++ b/user/conf.py @@ -10,6 +10,7 @@ project = "RTEMS User Manual" exclude_patterns = ['config/build.rst', 'config/runtime.rst', + 'start/basics.rst', 'start/depend.rst', 'start/transition.rst', 'start/releases.rst', |